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 Dragan Bosnacki
Codul Libristo: 02961433
Editura Springer International Publishing AG, aprilie 2016
This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking... Descrierea completă
? points 161 b
324 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

Spain: Mallorca Alan James / Carte broșată
common.buy 235 lei
Psychologische Typen Carl G. Jung / Carte broșată
common.buy 299 lei
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Copertă tare
common.buy 753 lei
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Carte broșată
common.buy 639 lei
Gatiti Calea Domnului! Drepte Faceti Cararile Lui!: NU E Vrednic Cel Ce Are Suflet MIC in Casa Mare. Vrednic E Cel Ce Ridica Suflet Mare-N Casa Mica. Florian Ion Tiberiu Petrescu / Carte broșată
common.buy 35 lei
Bears Don't Read! Emma Chichester Clark / Copertă tare
common.buy 81 lei
François Truffaut Robert Ingram / Copertă tare
common.buy 73 lei
Ursprachlehre Friedrich Schmitthenner / Copertă tare
common.buy 519 lei
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Carte broșată
common.buy 84 lei
Wiel Arets - Bas Princen John Bezold / Copertă tare
common.buy 473 lei
Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Copertă tare
common.buy 548 lei
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Carte broșată
common.buy 84 lei

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.§§The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4§tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.§

Informații despre carte

Titlu complet Model Checking Software
Autor Dragan Bosnacki, Anton Wijs
Limba engleză
Legare Carte - Carte broșată
Data publicării 2016
Număr pagini 245
EAN 9783319325811
ISBN 3319325817
Codul Libristo 02961433
Editura Springer International Publishing AG
Greutatea 4044
Dimensiuni 155 x 235 x 235

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 > Mathematical theory of computation
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

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