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.

Model Checking Software

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Dragan Bosnacki
Codul Libristo: 01564229
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, martie 2002
"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Chec... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Dieter Kropp's Weihnachts-Liederbuch für die Mundharmonika (Blues Harp) in C-Dur, m. Audio-CD Dieter Kropp / Materiale tipărite Note muzicale
common.buy 105.52 lei
La Cascade Féerique, Audio-CD Michel Pépé / Audio Audio CD
common.buy 91.23 lei
BilMoG und Interne Revision Alexander Hofem / Carte Carte broșată
common.buy 153.28 lei
Tu eres mi heroe JUAN CARLOS CHANDRO RAMIREZ / Carte Carte broșată
common.buy 53.59 lei
Erlebnis und Geschichte Edgar Feuchtwanger / Carte Carte broșată
common.buy 170.90 lei
Design Universal e a Terceira Idade Maria Goretti Fernandes Fernandes / Carte Carte broșată
common.buy 198.43 lei

"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002.§The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system."

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 Model Checking Software
Autor Dragan Bosnacki, Stefan Leue
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 262
EAN 9783540434771
ISBN 3540434771
Codul Libristo 01564229
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 472
Dimensiuni 155 x 235 x 16

Categorii

Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
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

Marriages and Deaths from Mississippi Newspapers Betty C Wiltshire / Carte Carte broșată
common.buy 158.91 lei
Arduino Circuit Board Projects HandsOn: Coin Sorting Machine, Brilliant Restaurant Menu Ordering, your own Wi-Fi Repeater, Buzz Wire Game, Fan Speed C Ambika Parameswari K / Carte Carte broșată
common.buy 94.67 lei
Picross Hanjie Griddlers Nonograms book Djape / Carte Carte broșată
common.buy 67.04 lei
Indictment of the American Clergy THOMAS WADE / Carte Carte broșată
common.buy 84.25 lei
The Beach, mit 1 CD-ROM/Audio-CD. 1. Lernjahr Rick Sampedro / Carte Carte broșată
common.buy 66.41 lei
Lilith: the Legend of the First Woman Ada Langworthy Collier / Carte Carte broșată
common.buy 106.56 lei
The Queen's Gamble Barbara Kyle / Carte Carte broșată
common.buy 99.89 lei
French & Indian War Novels Joseph A. Altsheler / Carte Copertă tare
common.buy 236.91 lei
Forever Words James Garvin / Carte Carte broșată
common.buy 72.78 lei
Shakespeare and Race Imtiaz Habib / Carte Copertă tare
common.buy 445.57 lei
Social Structure Charles Crothers / Carte Copertă tare
common.buy 1 289.49 lei
Power to the Patient Atlas / Carte Carte broșată
common.buy 69.44 lei
Quantum Fractals: From Heisenberg's Uncertainty To Barnsley's Fractality Arkadiusz Jadczyk / Carte Copertă tare
common.buy 754.34 lei
For Derrida J. Hillis Miller / Carte Carte broșată
common.buy 305.52 lei
Critical Dictionary of the French Revolution Francois Furet / Carte Copertă tare
common.buy 1 190.22 lei
Modern Monetary Theory M.L. Burstein / Carte Carte broșată
common.buy 601.78 lei
Strangers In Death J. D. Robb / Carte Carte broșată
common.buy 66.41 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