Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Model Checking Software

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

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

Dragan Bosnacki

Stefan Edelkamp

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01568802

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2007

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... Celý popis

Libristo kód: 01568802

125 b

51.59 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Grundlinien der Philosophie D. Fr. Ast

Brožovaná

49.87 €

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

Brožovaná

33.21 €

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

Brožovaná

10.09 €

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

Brožovaná

35.63 €

LES PEINTURES Beeckman

Brožovaná

11.40 €

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

Brožovaná

13.92 €

Ötanazi Okulu 1 Ciltli

Brožovaná

20.08 €

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

Brožovaná

25.54 €

Pasta Masterclass Wiebke Krabbe

Pevná

25.23 €

Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus

Brožovaná

39.67 €

Krevní banka Tanya Huffová

Brožovaná

7.87 €

Das Quiz für Besserwisser I ab 10 Jahren

Pevná

6.96 €

LA SABIDURíA DE LAS AVES TIM BIRKHEAD

Brožovaná

32.80 €

Senzibil Markéta Pilátová

Pevná

11.70 €

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

Brožovaná

24.63 €

Religiöses Leben und philosophische Selbstbestimmung Simone Fazzi

Brožovaná

15.64 €

Premium Touren. Ein schöner Tag wandern Ulrike Poller

Brožovaná

17.76 €

La historia de Ana Zeppelin: Tomo 1 Giselle Murillo

Brožovaná

8.37 €

Raphael und Pinturicchio in Siena August Schmarsow

Brožovaná

1.50 €

Sally y la maldición del rubí PULLMAN

Brožovaná

7.97 €

La psicología en la escuela Delval

Brožovaná

18.27 €

Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek

Brožovaná

53.00 €

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.