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

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Alastair Donaldson
Codul Libristo: 01661641
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iulie 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Descrierea completă
? points 121 b
263.19 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D / Carte Carte broșată
common.buy 182.37 lei
Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón / Carte Carte broșată
common.buy 233.26 lei
Krabben Günter Pump / Carte Copertă tare
common.buy 47.75 lei
Veselý vlak - Nálepky do vane neuvedený autor / Materiale tipărite Cărți
common.buy 59.53 lei
Polnische Ostseeküste Wolfgang Kling / Carte Carte broșată
common.buy 80.39 lei
FAUNO Cristina Lobo / Carte Carte broșată
common.buy 117.30 lei
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Carte Carte broșată
common.buy 155.05 lei
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Carte Carte broșată
common.buy 89.88 lei
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Carte Carte broșată
common.buy 188.94 lei
Ganz normale Bürger David King / Carte Copertă tare
common.buy 108.75 lei
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Carte Carte broșată
common.buy 75.17 lei

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

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 Alastair Donaldson, David Parker
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 261
EAN 9783642317583
ISBN 3642317588
Codul Libristo 01661641
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 421
Dimensiuni 155 x 235 x 15

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Begegnung Mit Der Vergangenheit Alberto Giacometti / Carte Copertă tare
common.buy 587.80 lei
Esther's Tooth: Judge Ortega investigates Mike Thomas / Carte Carte broșată
common.buy 82.06 lei
The Fulcrum Files Mark Chisnell / Carte Carte broșată
common.buy 87.06 lei
Trapped Under the Sea Neil Swidey / Carte Carte broșată
common.buy 104.27 lei
Miss Pardoe's Complete Works 1806-1862 Pardoe / Carte Copertă tare
common.buy 252.34 lei
Stories from Mother's Note Book Lucy Tonge / Carte Copertă tare
common.buy 174.13 lei
Sanctuary of Demeter and Kore Nancy Bookidis / Carte Copertă tare
common.buy 907.00 lei
Methane and its Derivatives Sunggyu Lee / Carte Copertă tare
common.buy 2 570.44 lei
Restraining Rage William Vernon Harris / Carte Carte broșată
common.buy 256.20 lei
Why America's Public Schools Are the Best Place for Kids Dave F. Brown / Carte Copertă tare
common.buy 603.45 lei
Integration Through Foreign Direct Investment Gábor Hunya / Carte Copertă tare
common.buy 878.43 lei
Last Generation of the Roman Republic Gruen / Carte Carte broșată
common.buy 268.19 lei
Everything we do is music Barry Russell / Carte Carte broșată
common.buy 173.09 lei
International Climate Change Law Daniel Bodansky / Carte Carte broșată
common.buy 495.52 lei
Top
Music and Technology: A Very Short Introduction Katz / Carte Carte broșată
common.buy 59.53 lei
Cracked James Davies / Carte Carte broșată
common.buy 77.99 lei
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Carte Copertă tare
common.buy 1 027.54 lei
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Carte Carte broșată
common.buy 65.16 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