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

Tools and Algorithms for the Construction and Analysis of Systems

Limba englezăengleză
Carte Carte broșată
Carte Tools and Algorithms for the Construction and Analysis of Systems Parosh Aziz Abdulla
Codul Libristo: 01657596
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, martie 2011
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Alg... Descrierea completă
? points 142 b
286 lei
șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Colouring Book Kandinsky Kutschbach Doris / Carte broșată
common.buy 44 lei
Max Frisch Julian Schütt / Carte broșată
common.buy 71 lei
Intuitive Sources of Probabilistic Thinking in Children H. Fischbein / Copertă tare
common.buy 324 lei
Linking Research and Marketing Opportunities for Pulses in the 21st Century R. Knight / Carte broșată
common.buy 1.268 lei
Die Deutung von Kinderzeichnungen Joseph H. DiLeo / Carte broșată
common.buy 135 lei

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26 April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. §The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Informații despre carte

Titlu complet Tools and Algorithms for the Construction and Analysis of Systems
Autor Parosh Aziz Abdulla, K.Rustan M. Leino
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 394
EAN 9783642198342
ISBN 3642198341
Codul Libristo 01657596
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 612
Dimensiuni 155 x 235 x 25

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Computer science > Artificial intelligence
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