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 Ed Brinksma
Codul Libristo: 05274687
Editura Springer, Berlin, noiembrie 1996
This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algo... 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

Gefühlte Zeit Marc Wittmann / Carte broșată
common.buy 61 lei
Zweistimmige Inventionen BWV 772-786, Klavier Johann Sebastian Bach / Carte broșată
common.buy 84 lei
Hotcourses London's Essential Course Guide Sep/Oct 09 / Carte broșată
common.buy 8 lei
Erich Heintel: Gesammelte Abhandlungen / Band 3: Zur Theologie und Religionsphilosophie I Erich Heintel / Copertă tare
common.buy 347 lei
Robert Burns Gerard Carruthers / Carte broșată
common.buy 218 lei
Other People's Business The Romantic Career of the Practical Miss Dale Harriet L. Smith / Carte broșată
common.buy 191 lei
Der Verlorene Sohn Im Drama Des XVI. Jahrhunderts Spengler Franz / Carte broșată
common.buy 52 lei
Into The Nano Era Howard Huff / Carte broșată
common.buy 1.269 lei
Experimental Studies on Guinea Pig's Eczema Nicole Hunziker / Carte broșată
common.buy 324 lei

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.

Informații despre carte

Titlu complet Tools and Algorithms for the Construction and Analysis of Systems
Autor Ed Brinksma
Limba engleză
Legare Carte - Carte broșată
Data publicării 1997
Număr pagini 437
EAN 9783540627906
ISBN 3540627901
Codul Libristo 05274687
Editura Springer, Berlin
Greutatea 580
Dimensiuni 156 x 234 x 23

Categorii

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
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