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

Applied Formal Methods - FM-Trends 98

Limba englezăengleză
Carte Carte broșată
Carte Applied Formal Methods - FM-Trends 98 Dieter Hutter
Codul Libristo: 01567090
Editura Springer, Berlin, noiembrie 1998
This book constitutes the thoroughly refereed post-workshop proceedings of the International Worksho... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Dan Young Nebezpečí odjinud Jaroslav Velinský / Carte broșată
common.buy 31 lei
Literarisches Lernen im Anfangsunterricht Anja Pompe / Carte broșată
common.buy 96 lei
Hunting and Fishing in a Kammu Village Damrong Tayanin / Copertă tare
common.buy 319 lei
Effects of Acid Precipitation on Terrestrial Ecosystems Thomas C. Hutchinson / Copertă tare
common.buy 629 lei
Computer Science and Its Applications Abdelmalek Amine / Carte broșată
common.buy 549 lei
Gods Mercy Mixed with His Justice John Cotton / Copertă tare
common.buy 216 lei
Histoire de l'Abbaye Royale de Saint-Pierre de Jumieges. Tome 2 Mabillon-J / Carte broșată
common.buy 142 lei
Laber - Rynstetten Wolfgang Stammler / Copertă tare
common.buy 1.503 lei
Nanoscaled Semiconductor-on-Insulator Structures and Devices Steve Hall / Copertă tare
common.buy 1.270 lei
Human Cell Transformation Johng S. Rhim / Copertă tare
common.buy 983 lei

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshopon Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998.The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields.

Informații despre carte

Titlu complet Applied Formal Methods - FM-Trends 98
Autor Dieter Hutter, Werner Stephan, Paolo Traverso
Limba engleză
Legare Carte - Carte broșată
Data publicării 1999
Număr pagini 384
EAN 9783540664628
ISBN 3540664629
Codul Libristo 01567090
Editura Springer, Berlin
Greutatea 564
Dimensiuni 156 x 234 x 20

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
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