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.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € 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, Berlin
SKU: 01563494
Price: 51.75 EUR
Availability: InStock
Author: Matthew Dwyer
ISBN: 9783540421245

8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Matthew Dwyer

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01563494

Nakladateľstvo Springer, Berlin, november 2000

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Celý popis

Libristo kód: 01563494

125 b

51.75 €

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

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Inteligencja emocjonalna nauczycieli jezyka angielskiego jako jezyka obcego a ich satysfakcja z pracy Mohammad Hossein Hekmatzadeh

Brožovaná

49.01 €

Ricki und Rosa und das Alles-geht-schief-Schulprojekt Dagmar Chidolue

Adobe ePub DRM

14.88 €

Vláček a jeho kamarádi

Leporelo

11.64 €

Guía de lectura de "Cualquier lugar, cualquier día" Caro Lora

Brožovaná

6.27 €

Las Historias Del Origen De Los Indios De Esta Provincia De Guatemala, Tr. Por F. Ximenez. Publ. Y Aumentado Con Una Intr. Y Anotaciones Por C. Scherz Popol-vuh

Brožovaná

20.25 €

GAIA tarot - Kapesní verze (78 karet + výkladová kniha) Veronika Kovářová

Karty

18.02 €

Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA

Brožovaná

40.20 €

Tokos Gianna Hedderich

Brožovaná

32.81 €

MI Jevgenyij Zamjatyin

Pevná

11.03 €

Sehnsucht Schottland (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo

Kalendár

73.93 €

G_d'S Pee at State'S End! Godspeed You! Black Emperor Audio

Audio vinyl

37.97 €

Číňan Henning Mankell

Pevná

10.22 €

Shopkins Cicibiciler - Mutsuz Kurabi

Brožovaná

21.16 €

Český jazyk pro 3. ročník SOŠ Čechová

Brožovaná

7.08 €

Postdemokratie Colin Crouch

Brožovaná

10.93 €

Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski

Brožovaná

16.20 €

Treasurers of the Snow Patricia St John

Brožovaná

13.97 €

La casa de Tomasa Phyllis Root

Brožovaná

22.58 €

Aguas arriba de mi madre Arnáiz

Brožovaná

23.08 €

Fiat 850. 1964-1973 Alessandro Sannia

Brožovaná

22.68 €

Frolla & sfoglia. Teoria e pratica dell'impasto Michel Roux

Brožovaná

22.68 €

Apprenez ? Booster Votre Productivité: L'Indispensable de l'Entrepreneur (La 25eme Heure) Thomas Gilles

Brožovaná

10.22 €

La bible de l'homéopathie et des traitements naturels Alain Paul

Brožovaná

28.65 €

Mafiánsky gang Sýkorovcov + DVD Gustáv Murín

Pevná

11.23 €

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.