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.

SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha SPIN Model Checking and Software Verification Klaus Havelund
Libristo kód: 01563035
Nakladatelství Springer, Berlin, listopad 1999
This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, he... 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

Sanaci Dami Alvarez / Kniha Brožovaná
common.buy 237 Kč
Los Compás y el diamantito legendario EL TROLLINO Y TIMBA VK MIKECRACK / Kniha Pevná
common.buy 396 Kč
Sintesi per via umida di pellicole sottili di ossido di zinco e di nanostrutture a forma di gorlo Ms. Richa Shukla / Kniha Brožovaná
common.buy 893 Kč
Soziale Verguenstigung fuer nichterwerbstaetige Unionsbuerger als Grundsatz der Europaeischen Union Herbst Nico Benedict Herbst / E-kniha Adobe ePub DRM
common.buy 1 404 Kč
Konec sezóny na koupališti Úštěk Veronika Bendová / Kniha List
common.buy 277 Kč
COCKER SPANIEL COMME ANIMAL DE COMPAGNIE RAIMUND PORCHER / Kniha Brožovaná
common.buy 364 Kč
T'choupi Thierry Courtin / Kniha Pevná
common.buy 228 Kč
L'EDUCATION DU CHIHUAHUA - Edition 2020 enrichie Carre Mova / Kniha Brožovaná
common.buy 443 Kč
Recueil Des Eloges Historiques Lus Dans Les Seances Publiques de l'Academie Des Sciences FLOURENS-P / Kniha Brožovaná
common.buy 697 Kč
100 fiocchi di neve a uncinetto Caitlin Sainio / Kniha Brožovaná
common.buy 536 Kč
Tanri Yoktur Allahtan Baska Reza Aslan / Kniha Brožovaná
common.buy 325 Kč
E-Democracy Martin Wolf / Kniha Brožovaná
common.buy 1 451 Kč
Der Eindringling / L'intrus. L'Intrus Jean-Luc Nancy / Kniha Brožovaná
common.buy 168 Kč
Kopf- versus Bauchentscheidungen bei Jungeren und AElteren Kathrin Schütz / Kniha Brožovaná
common.buy 774 Kč
Prüfungsvorbereitung Werkzeugmechaniker/-in. Tl.1 Peter Schierbock / Kniha Brožovaná
common.buy 609 Kč

This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, held in Stanford, California in August/September 2000. This book is devoted to automata-based explicit-state model checking technologies for the analysis and verification of asynchronous concurrent and distributed systems. The SPIN model checker is one of the most powerful systems of this kind and has attracted a large user community. The 17 revised full papers presented together with three tutorial contributions were carefully reviewed and selected from 31 submissions. The book competently presents the state of the art in SPIN model checking.

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 SPIN Model Checking and Software Verification
Autor Klaus Havelund, John Penix, Willem Visser
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2000
Počet stran 346
EAN 9783540410300
ISBN 3540410309
Libristo kód 01563035
Nakladatelství Springer, Berlin
Váha 508
Rozměry 155 x 235 x 18

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

The Balkans: A History of Bulgaria and Serbia Nevill Forbes / Kniha Brožovaná
common.buy 171 Kč
Nero And Actea: A Tragedy (1891) Eric MacKay / Kniha Brožovaná
common.buy 432 Kč
A Journey Throughout Ireland During The Spring, Summer And Autumn Of 1834 Henry David Inglis / Kniha Brožovaná
common.buy 753 Kč
The Cure Leah O'Neil / Kniha Brožovaná
common.buy 340 Kč
Dictionary of law English - Hebrew / Hebrew - English Carsten Rasch / Kniha Brožovaná
common.buy 204 Kč
The Scope of Immunology Sadiq Mareai / Kniha Brožovaná
common.buy 732 Kč
Letters of the Right Honourable Lady Jane Douglas; With Several Other Important Pieces of Private Correspondence ... Illustrated with Notes. Together JANE STEWART / Kniha Pevná
common.buy 728 Kč
The Life And Letters Of John Collingwood Bruce (1905) John Collingwood Bruce / Kniha Brožovaná
common.buy 881 Kč
The Year with Matthew: Good News Heard on Sundays To Be Lived Throughout the Weeks Robert Link / Kniha Brožovaná
common.buy 144 Kč
Micro-Tomographic Atlas of the Mouse Skeleton Itai A. Bab / Kniha Brožovaná
common.buy 4 707 Kč
200 Subtraction Worksheets with 4-Digit Minuends, 3-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Kniha Brožovaná
common.buy 444 Kč
Bureau of American Ethnology Bulletin 76 Archeological Investigations Gerard Fowke / Kniha Brožovaná
common.buy 237 Kč
Masonry in Compression A. T. Vermeltfoort / Kniha Brožovaná
common.buy 1 933 Kč
De Doctrina Christiana Saint Augustine / Kniha Pevná
common.buy 8 436 Kč
History Education and the Construction of National Identities Mario Carretero / Kniha Pevná
common.buy 2 924 Kč
Integer Partitions George E. AndrewsKimmo Eriksson / Kniha Pevná
common.buy 4 788 Kč
Top
Over, Under, Through: Obstacle Training for Horses Vanessa Bee / Kniha Brožovaná
common.buy 576 Kč
The Healing Cookbook: Nourishing Plant-Based Recipes to Help You Feel Better and Stay Well / Kniha Pevná
common.buy 415 Kč
Vow Debbie Howells / Audiokniha MP3
common.buy 365 Kč
Hymns And Sacred Songs (1832) Alexander Hume / Kniha Brožovaná
common.buy 511 Kč
Crazy Days with Pickles Rebekah Molander / Kniha Brožovaná
common.buy 446 Kč
Seabees at Gulfport Gina L. Nichols / Kniha Pevná
common.buy 558 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?