Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Model Checking Software

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Matthew Dwyer
Libristo kód: 01563494
Nakladatelství Springer, Berlin, listopad 2000
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Inteligencja emocjonalna nauczycieli jezyka angielskiego jako jezyka obcego a ich satysfakcja z pracy Mohammad Hossein Hekmatzadeh / Kniha Brožovaná
common.buy 1 115 Kč
Ricki und Rosa und das Alles-geht-schief-Schulprojekt Dagmar Chidolue / E-kniha Adobe ePub DRM
common.buy 360 Kč
Vláček a jeho kamarádi / Kniha Leporelo
common.buy 232 Kč
Guía de lectura de "Cualquier lugar, cualquier día" Caro Lora / Kniha Brožovaná
common.buy 151 Kč
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 / Kniha Brožovaná
common.buy 489 Kč
Připravujeme
GAIA tarot - Kapesní verze (78 karet + výkladová kniha) Veronika Kovářová / Tiskovina Karty
common.buy 400 Kč
Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA / Kniha Brožovaná
common.buy 915 Kč
Tokos Gianna Hedderich / Kniha Brožovaná
common.buy 793 Kč
MI Jevgenyij Zamjatyin / Kniha Pevná
common.buy 266 Kč
Sehnsucht Schottland (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Kalendář/Diář Kalendář
common.buy 1 693 Kč
G_d'S Pee at State'S End! Godspeed You! Black Emperor Audio Audio vinyl
common.buy 869 Kč
Číňan Henning Mankell / Kniha Pevná
common.buy 262 Kč
Shopkins Cicibiciler - Mutsuz Kurabi / Kniha Brožovaná
common.buy 484 Kč
Český jazyk pro 3. ročník SOŠ Čechová / Kniha Brožovaná
common.buy 164 Kč
Postdemokratie Colin Crouch / Kniha Brožovaná
common.buy 249 Kč
Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski / Kniha Brožovaná
common.buy 369 Kč
Treasurers of the Snow Patricia St John / Kniha Brožovaná
common.buy 337 Kč
La casa de Tomasa Phyllis Root / Kniha Brožovaná
common.buy 568 Kč
Aguas arriba de mi madre Arnáiz / Kniha Brožovaná
common.buy 557 Kč
Fiat 850. 1964-1973 Alessandro Sannia / Kniha Brožovaná
common.buy 548 Kč
Frolla & sfoglia. Teoria e pratica dell'impasto Michel Roux / Kniha Brožovaná
common.buy 549 Kč
Apprenez ? Booster Votre Productivité: L'Indispensable de l'Entrepreneur (La 25eme Heure) Thomas Gilles / Kniha Brožovaná
common.buy 248 Kč
La bible de l'homéopathie et des traitements naturels Alain Paul / Kniha Brožovaná
common.buy 692 Kč
Levně
Mafiánsky gang Sýkorovcov + DVD Gustáv Murín / Kniha Pevná
common.buy 272 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Model Checking Software
Autor Matthew Dwyer
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2001
Počet stran 318
EAN 9783540421245
ISBN 3540421246
Libristo kód 01563494
Nakladatelství Springer, Berlin
Váha 467
Rozměry 155 x 235 x 17

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Damnation Peter McLean / Kniha Brožovaná
common.buy 301 Kč
Do Vikings Wear Glasses? Jon Laidlaw / Kniha Brožovaná
common.buy 354 Kč
Cracked Chessboard Elizabeth Emberton / Kniha Brožovaná
common.buy 424 Kč
Leisure Marketing HORNER / Kniha Pevná
common.buy 6 550 Kč
Philip Roth: Nemeses (LOA #237) Philip Roth / Kniha Pevná
common.buy 614 Kč
Benjamin Franklin: His Life as He Wrote It Benjamin Franklin / Kniha Brožovaná
common.buy 729 Kč
Three Nearsighted Mice Diane Epstein / Kniha Brožovaná
common.buy 366 Kč
Top
Hollow MYERS CELINA / Kniha Pevná
common.buy 465 Kč
Oxford Handbook of International Criminal Law Darryl Robinson / Kniha Brožovaná
common.buy 1 293 Kč
Finally Enough Love Madonna / Audio Audio vinyl
common.buy 797 Kč
History of Market Drayton John Robinson Lee / Kniha Brožovaná
common.buy 388 Kč
Raemakers' Cartoons: With Accompanying Notes by Well-Known English Writers Louis Raemaekers / Kniha Brožovaná
common.buy 728 Kč
Prince Charming Charity L Maness / Kniha Brožovaná
common.buy 237 Kč
A Prayer for Inner Peace Allan A Glatthorn / Kniha Brožovaná
common.buy 278 Kč
Telecommunications Handbook for Transportation Professionals: The Basics of Telecommunications U S Department of Transportation / Kniha Brožovaná
common.buy 403 Kč
Love and War Warren MacQuarrie / Kniha Pevná
common.buy 940 Kč
Lonely Hearts Cry Anji Nolan / Kniha Brožovaná
common.buy 351 Kč
Saint of Lost Things Tish Delaney / E-kniha Adobe ePub DRM
common.buy 240 Kč
Data Governance Act Moritz Hennemann / Kniha Pevná
common.buy 4 084 Kč
American Nation: A History, Vol. 9 Jeremy Schifeling / Audiokniha MP3
common.buy 486 Kč
My School Improvement Doodle Book Ben Keeling / Kniha Brožovaná
common.buy 339 Kč
Underdog Sue-Ann Levy / Kniha Pevná
common.buy 672 Kč
Oxford English for Academic Purposes B1+ Teacher's Handbook de Chazal Edward / Kniha Brožovaná
common.buy 1 285 Kč
Nine Man Eaters and One Rogue Kenneth Anderson / Kniha Brožovaná
common.buy 555 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet