Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

SPIN Model Checking and Software Verification

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga SPIN Model Checking and Software Verification Klaus Havelund
Koda Libristo: 01563035
Založba Springer, Berlin, november 1999
This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, he... Celoten opis
? points 118 b
48.79 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Sanaci Dami Alvarez / Knjiga Mehka
common.buy 9.79 €
Los Compás y el diamantito legendario EL TROLLINO Y TIMBA VK MIKECRACK / Knjiga Trda
common.buy 14.64 €
Sintesi per via umida di pellicole sottili di ossido di zinco e di nanostrutture a forma di gorlo Ms. Richa Shukla / Knjiga Mehka
common.buy 36.87 €
Soziale Verguenstigung fuer nichterwerbstaetige Unionsbuerger als Grundsatz der Europaeischen Union Herbst Nico Benedict Herbst / E-knjiga Adobe ePub DRM
common.buy 51.82 €
Konec sezóny na koupališti Úštěk Veronika Bendová / Knjiga Preglednica
common.buy 11.61 €
COCKER SPANIEL COMME ANIMAL DE COMPAGNIE RAIMUND PORCHER / Knjiga Mehka
common.buy 15.04 €
T'choupi Thierry Courtin / Knjiga Trda
common.buy 8.58 €
L'EDUCATION DU CHIHUAHUA - Edition 2020 enrichie Carre Mova / Knjiga Mehka
common.buy 18.28 €
Recueil Des Eloges Historiques Lus Dans Les Seances Publiques de l'Academie Des Sciences FLOURENS-P / Knjiga Mehka
common.buy 28.78 €
100 fiocchi di neve a uncinetto Caitlin Sainio / Knjiga Mehka
common.buy 19.89 €
Tanri Yoktur Allahtan Baska Reza Aslan / Knjiga Mehka
common.buy 13.43 €
E-Democracy Martin Wolf / Knjiga Mehka
common.buy 53.64 €
Der Eindringling / L'intrus. L'Intrus Jean-Luc Nancy / Knjiga Mehka
common.buy 6.96 €
Kopf- versus Bauchentscheidungen bei Jungeren und AElteren Kathrin Schütz / Knjiga Mehka
common.buy 31.92 €
Prüfungsvorbereitung Werkzeugmechaniker/-in. Tl.1 Peter Schierbock / Knjiga Mehka
common.buy 25.15 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov SPIN Model Checking and Software Verification
Avtor Klaus Havelund, John Penix, Willem Visser
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2000
Število strani 346
EAN 9783540410300
ISBN 3540410309
Koda Libristo 01563035
Založba Springer, Berlin
Teža 508
Mere 155 x 235 x 18

Kategorije

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

The Balkans: A History of Bulgaria and Serbia Nevill Forbes / Knjiga Mehka
common.buy 7.26 €
Nero And Actea: A Tragedy (1891) Eric MacKay / Knjiga Mehka
common.buy 21.91 €
A Journey Throughout Ireland During The Spring, Summer And Autumn Of 1834 Henry David Inglis / Knjiga Mehka
common.buy 31.11 €
The Cure Leah O'Neil / Knjiga Mehka
common.buy 14.03 €
Dictionary of law English - Hebrew / Hebrew - English Carsten Rasch / Knjiga Mehka
common.buy 8.38 €
The Scope of Immunology Sadiq Mareai / Knjiga Mehka
common.buy 30.20 €
Letters of the Right Honourable Lady Jane Douglas; With Several Other Important Pieces of Private Correspondence ... Illustrated with Notes. Together JANE STEWART / Knjiga Trda
common.buy 30.00 €
The Life And Letters Of John Collingwood Bruce (1905) John Collingwood Bruce / Knjiga Mehka
common.buy 36.36 €
The Year with Matthew: Good News Heard on Sundays To Be Lived Throughout the Weeks Robert Link / Knjiga Mehka
common.buy 5.95 €
Micro-Tomographic Atlas of the Mouse Skeleton Itai A. Bab / Knjiga Mehka
common.buy 194.27 €
200 Subtraction Worksheets with 4-Digit Minuends, 3-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Knjiga Mehka
common.buy 18.28 €
Bureau of American Ethnology Bulletin 76 Archeological Investigations Gerard Fowke / Knjiga Mehka
common.buy 9.79 €
Masonry in Compression A. T. Vermeltfoort / Knjiga Mehka
common.buy 71.52 €
De Doctrina Christiana Saint Augustine / Knjiga Trda
common.buy 367.34 €
History Education and the Construction of National Identities Mario Carretero / Knjiga Trda
common.buy 120.72 €
Integer Partitions George E. AndrewsKimmo Eriksson / Knjiga Trda
common.buy 208.01 €
Over, Under, Through: Obstacle Training for Horses Vanessa Bee / Knjiga Mehka
common.buy 23.73 €
The Healing Cookbook: Nourishing Plant-Based Recipes to Help You Feel Better and Stay Well / Knjiga Trda
common.buy 17.17 €
Vow Debbie Howells / Zvočnica MP3
common.buy 13.43 €
Hymns And Sacred Songs (1832) Alexander Hume / Knjiga Mehka
common.buy 21.11 €
Crazy Days with Pickles Rebekah Molander / Knjiga Mehka
common.buy 18.38 €
Seabees at Gulfport Gina L. Nichols / Knjiga Trda
common.buy 23.03 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?