Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

SPIN Model Checking and Software Verification

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

Limba englezăengleză
Carte Carte broșată
Carte SPIN Model Checking and Software Verification Klaus Havelund
Codul Libristo: 01563035
Editura Springer, Berlin, noiembrie 1999
This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, he... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Sanaci Dami Alvarez / Carte Carte broșată
common.buy 57.12 lei
Los Compás y el diamantito legendario EL TROLLINO Y TIMBA VK MIKECRACK / Carte Copertă tare
common.buy 90.48 lei
Sintesi per via umida di pellicole sottili di ossido di zinco e di nanostrutture a forma di gorlo Ms. Richa Shukla / Carte Carte broșată
common.buy 217.99 lei
Soziale Verguenstigung fuer nichterwerbstaetige Unionsbuerger als Grundsatz der Europaeischen Union Herbst Nico Benedict Herbst / E-book Adobe ePub DRM
common.buy 304.83 lei
Konec sezóny na koupališti Úštěk Veronika Bendová / Carte Foaie
common.buy 69.21 lei
COCKER SPANIEL COMME ANIMAL DE COMPAGNIE RAIMUND PORCHER / Carte Carte broșată
common.buy 87.46 lei
T'choupi Thierry Courtin / Carte Copertă tare
common.buy 49.51 lei
L'EDUCATION DU CHIHUAHUA - Edition 2020 enrichie Carre Mova / Carte Carte broșată
common.buy 106.33 lei
Recueil Des Eloges Historiques Lus Dans Les Seances Publiques de l'Academie Des Sciences FLOURENS-P / Carte Carte broșată
common.buy 166.07 lei
100 fiocchi di neve a uncinetto Caitlin Sainio / Carte Carte broșată
common.buy 116.34 lei
Tanri Yoktur Allahtan Baska Reza Aslan / Carte Carte broșată
common.buy 78.39 lei
E-Democracy Martin Wolf / Carte Carte broșată
common.buy 315.05 lei
Der Eindringling / L'intrus. L'Intrus Jean-Luc Nancy / Carte Carte broșată
common.buy 41.07 lei
Kopf- versus Bauchentscheidungen bei Jungeren und AElteren Kathrin Schütz / Carte Carte broșată
common.buy 188.90 lei
Prüfungsvorbereitung Werkzeugmechaniker/-in. Tl.1 Peter Schierbock / Carte Carte broșată
common.buy 146.99 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet SPIN Model Checking and Software Verification
Autor Klaus Havelund, John Penix, Willem Visser
Limba engleză
Legare Carte - Carte broșată
Data publicării 2000
Număr pagini 346
EAN 9783540410300
ISBN 3540410309
Codul Libristo 01563035
Editura Springer, Berlin
Greutatea 508
Dimensiuni 155 x 235 x 18

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

The Balkans: A History of Bulgaria and Serbia Nevill Forbes / Carte Carte broșată
common.buy 42.32 lei
Nero And Actea: A Tragedy (1891) Eric MacKay / Carte Carte broșată
common.buy 102.68 lei
A Journey Throughout Ireland During The Spring, Summer And Autumn Of 1834 Henry David Inglis / Carte Carte broșată
common.buy 181.08 lei
The Cure Leah O'Neil / Carte Carte broșată
common.buy 81.83 lei
Dictionary of law English - Hebrew / Hebrew - English Carsten Rasch / Carte Carte broșată
common.buy 49.72 lei
The Scope of Immunology Sadiq Mareai / Carte Carte broșată
common.buy 178.68 lei
Letters of the Right Honourable Lady Jane Douglas; With Several Other Important Pieces of Private Correspondence ... Illustrated with Notes. Together JANE STEWART / Carte Copertă tare
common.buy 174.10 lei
The Life And Letters Of John Collingwood Bruce (1905) John Collingwood Bruce / Carte Carte broșată
common.buy 210.79 lei
The Year with Matthew: Good News Heard on Sundays To Be Lived Throughout the Weeks Robert Link / Carte Carte broșată
common.buy 34.71 lei
Micro-Tomographic Atlas of the Mouse Skeleton Itai A. Bab / Carte Carte broșată
common.buy 1 138.98 lei
200 Subtraction Worksheets with 4-Digit Minuends, 3-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Carte Carte broșată
common.buy 106.54 lei
Bureau of American Ethnology Bulletin 76 Archeological Investigations Gerard Fowke / Carte Carte broșată
common.buy 57.12 lei
Masonry in Compression A. T. Vermeltfoort / Carte Carte broșată
common.buy 419.62 lei
De Doctrina Christiana Saint Augustine / Carte Copertă tare
common.buy 1 997.83 lei
History Education and the Construction of National Identities Mario Carretero / Carte Copertă tare
common.buy 690.99 lei
Integer Partitions George E. AndrewsKimmo Eriksson / Carte Copertă tare
common.buy 1 094.25 lei
Top
Over, Under, Through: Obstacle Training for Horses Vanessa Bee / Carte Carte broșată
common.buy 139.59 lei
The Healing Cookbook: Nourishing Plant-Based Recipes to Help You Feel Better and Stay Well / Carte Copertă tare
common.buy 100.49 lei
Vow Debbie Howells / Audiobook MP3
common.buy 79.22 lei
Hymns And Sacred Songs (1832) Alexander Hume / Carte Carte broșată
common.buy 122.18 lei
Crazy Days with Pickles Rebekah Molander / Carte Carte broșată
common.buy 106.12 lei
Seabees at Gulfport Gina L. Nichols / Carte Copertă tare
common.buy 137.19 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?