Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568802
Price: 48.91 EUR
Availability: InStock
Author: Dragan Bosnacki
ISBN: 9783540733690

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Dragan Bosnacki

Stefan Edelkamp

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01568802

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 2007

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... Celoten opis

Koda Libristo: 01568802

118 b

48.91 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Grundlinien der Philosophie D. Fr. Ast

Mehka

44.76 €

Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka

Mehka

32.40 €

Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet

Mehka

9.31 €

Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos

Mehka

33.62 €

LES PEINTURES Beeckman

Mehka

10.42 €

Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske

Mehka

13.06 €

Ötanazi Okulu 1 Ciltli

Mehka

19.03 €

Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer

Mehka

20.75 €

Pasta Masterclass Wiebke Krabbe

Trda

23.69 €

Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus

Mehka

37.67 €

Krevní banka Tanya Huffová

Mehka

7.28 €

Das Quiz für Besserwisser I ab 10 Jahren

Trda

6.37 €

LA SABIDURíA DE LAS AVES TIM BIRKHEAD

Mehka

29.36 €

Senzibil Markéta Pilátová

Trda

10.62 €

Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux

Mehka

24.70 €

Religiöses Leben und philosophische Selbstbestimmung Simone Fazzi

Mehka

15.69 €

Premium Touren. Ein schöner Tag wandern Ulrike Poller

Mehka

15.89 €

La historia de Ana Zeppelin: Tomo 1 Giselle Murillo

Mehka

8.40 €

Raphael und Pinturicchio in Siena August Schmarsow

Mehka

1.51 €

Sally y la maldición del rubí PULLMAN

Mehka

7.28 €

La psicología en la escuela Delval

Mehka

16.90 €

Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek

Mehka

50.23 €

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.