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

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software María del Mar Gallardo
Codul Libristo: 19534895
Editura Springer International Publishing AG, iunie 2018
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... 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

naanallada naanu s.g.shivashankar / Carte Carte broșată
common.buy 86.00 lei
Biología: Selección y no selección Leandra Griffith -Jn Baptiste / Carte Carte broșată
common.buy 198.39 lei
Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami / Carte Carte broșată
common.buy 247.49 lei
Das Erbe Martin Wieland / Carte Carte broșată
common.buy 114.36 lei
Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila / Carte Carte broșată
common.buy 81.83 lei
Elaboración de vinos espumosos y cavas Madrid Vicente / Carte Carte broșată
common.buy 201.52 lei
FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Carte Carte broșată
common.buy 136.77 lei
Rüyalar ve Uyanislar Defteri Latife Tekin / Carte Carte broșată
common.buy 78.39 lei
Anders, Korbonski, Sieniewicz... Ziętara Paweł / Carte Carte broșată
common.buy 46.49 lei
Gesammelte Werke Ernst Von Wildenbruch / Carte Carte broșată
common.buy 321.72 lei

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

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 María del Mar Gallardo, Pedro Merino
Limba engleză
Legare Carte - Carte broșată
Data publicării 2018
Număr pagini 347
EAN 9783319941103
ISBN 3319941100
Codul Libristo 19534895
Editura Springer International Publishing AG
Greutatea 557
Dimensiuni 155 x 235 x 20

Categorii

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 modelling & simulation
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

Hymns, Psalms and Prayers Isaac Mayer Wise / Carte Carte broșată
common.buy 114.36 lei
The Heart of Your Script Phil Hughes / Carte Carte broșată
common.buy 186.71 lei
Ecocriticism and Italy Serenella Iovino / Carte Carte broșată
common.buy 292.43 lei
Tiny the Vancouver Easter Bunny Eric James / Carte Copertă tare
common.buy 49.51 lei
Bon Iver Bon / Carte Carte
common.buy 126.55 lei
Egyptian Colloquial Arabic Verbs Matthew Aldrich / Carte Carte broșată
common.buy 141.36 lei
Inventive Engineering Tomasz Arciszewski / Carte Copertă tare
common.buy 1 575.50 lei
The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story David Reynolds / Carte Carte broșată
common.buy 81.83 lei
An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz / Carte Carte broșată
common.buy 247.49 lei
Glencoe Accounting: First Year Course, School-To-Work Handbook McGraw-Hill/Glencoe / Carte Carte broșată
common.buy 96.43 lei
Danger Music Eddie Ayres / Carte Carte broșată
common.buy 60.56 lei
Avatar Coloring Book: Coloring Book for Kids and Adults with Fun, Easy, and Relaxing Coloring Pages Linda Johnson / Carte Carte broșată
common.buy 37.10 lei
Radiant, Vol. 8, 8 Tony Valente / Carte Carte broșată
common.buy 47.11 lei
Interpreting the New Testament Francis J. Moloney / Carte Carte broșată
common.buy 186.50 lei
genealogical dictionary of the first settlers of New England, Volume 2 James Savage / E-book Adobe ePub DRM
common.buy 63.79 lei
Catch a Falling Star Mason Stone / Carte Carte broșată
common.buy 59.73 lei
Towards a Federal Europe Alexander H. Trechsel / Carte Carte broșată
common.buy 271.78 lei
Curând Nou
The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo / Carte Copertă tare
common.buy 1 078.82 lei
Developmental-Behavioral Disorders Marvin I. Gottlieb / Carte Carte broșată
common.buy 285.96 lei
Creating Textures in Pen & Ink with Watercolor Claudia Nice / Carte Carte broșată
common.buy 104.45 lei
Introduction to Transport Policy - A Public Policy View Peter R. Stopher / Carte Copertă tare
common.buy 870.83 lei
My Neighbor Jesus - In The Light Of His Own Language, People And Time George M. Lamsa / Carte Carte broșată
common.buy 171.91 lei
Free Fall Robert Crais / Carte Carte broșată
common.buy 73.18 lei
Electronic Banking Scn Education B. V. / Carte Carte broșată
common.buy 570.37 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