phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Model Checking Software

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Susanne Graf
Codul Libristo: 01559203
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, martie 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Descrierea completă
? points 161 b
326 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

reduceri
Bart Simpson Malý rošťák Matt Groening / Carte broșată
common.buy 6 lei
Obituary Mario Martinez / Copertă tare
common.buy 148 lei
From Divergent Power Series to Analytic Functions Werner Balser / Carte broșată
common.buy 182 lei
Multicriteria Analysis for Land-Use Management E. Beinat / Copertă tare
common.buy 1.277 lei
Dorset Terry Gough / Carte broșată
common.buy 94 lei
Morality and Action Warren Quinn / Copertă tare
common.buy 676 lei
Eurythmics / Carte broșată
common.buy 121 lei
Columbo - Ein Hund fur alle "Felle" Barbara Schilling / Carte broșată
common.buy 50 lei
Frontiers in Algorithms D. T. Lee / Carte broșată
common.buy 331 lei
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Copertă tare
common.buy 989 lei
Classic Operating Systems Per Brinch Hansen / Copertă tare
common.buy 643 lei
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Carte broșată
common.buy 104 lei
Memoirs of the Courts and Cabinets of George the Third from the Original Family Documents, Volume 1 Richard Plantagenet Buckingham and Chandos / Carte broșată
common.buy 192 lei
Mathematical Modeling in Chemical Engineering Anders Rasmuson / Copertă tare
common.buy 423 lei
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Carte broșată
common.buy 186 lei
Forced Saving Hazel BatemanGeoffrey KingstonJohn Piggott / Carte broșată
common.buy 261 lei

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

Informații despre carte

Titlu complet Model Checking Software
Autor Susanne Graf, Laurent Mounier
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 314
EAN 9783540213147
ISBN 3540213147
Codul Libristo 01559203
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 493
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

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