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

Formal Methods in Computer-Aided Design

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods in Computer-Aided Design Warren A. Hunt
Codul Libristo: 01563129
Editura Springer, Berlin, noiembrie 1999
This book constitutes the refereed proceedings of the Third International Conference on Formal Metho... Descrierea completă
? points 318 b
640 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Tales From Acorn Wood Little Library Julia Donaldson / Cărți pliante
common.buy 39 lei
top
Incal Alexandro Jodorowsky / Copertă tare
common.buy 193 lei
Tribe Sebastian Junger / Carte broșată
common.buy 52 lei
Mr Le Mans: Tom Kristensen Dan Philipsen / Copertă tare
common.buy 235 lei
Business Email Marc Roche / Carte broșată
common.buy 76 lei
Loss of the Ship Essex Sunk By a Whale Owen Chase / Carte broșată
common.buy 84 lei
Legende Ridley Scott / Blu-ray
common.buy 70 lei
CCIE Enterprise Infrastructure Foundation / Carte broșată
common.buy 543 lei
Deutsche Zivilverwaltung und Judenverfolgung im Generalgouvernement Bogdan Musial / Carte broșată
common.buy 186 lei
Denken. Aufrütteln. Gestalten. Life is a Story - story.one Matthias Strolz / Copertă tare
common.buy 91 lei
Hörfunk-Nachrichten - ihre Auswahl, Zusammenstellung und Präsentation Anja Engel / Carte broșată
common.buy 208 lei
Festschrift für Hans-Heinrich Jescheck zum 70. Geburtstag. Theo Vogler / Copertă tare
common.buy 1.159 lei
The 8th International Conference on Laser Applications - ICLA 2011 Mohamed Abdel Harith / Carte broșată
common.buy 623 lei
Comment peut-on être Berbère ? - Amnésie, renaissance, soulèvement - Livre collegium / Carte broșată
common.buy 166 lei
Como contar historias sobre desastres? Martins Mario / Carte broșată
common.buy 174 lei
Irreversible Phenomena and Dynamical Systems Analysis in Geosciences C. Nicolis / Copertă tare
common.buy 1.270 lei

This book constitutes the refereed proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000, held in Austin, Texas in November 2000.The 30 revised full papers presented together with two invited contributions were carefully reviewed and selected from 63 submissions. All current issues of research and development approaches based on formal methods for the design and analysis of systems are addressed. Among the topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modeling, program semantics, theorem proving, symbolic simulation, and transition systems.

Informații despre carte

Titlu complet Formal Methods in Computer-Aided Design
Autor Warren A. Hunt, Steven D. Johnson
Limba engleză
Legare Carte - Carte broșată
Data publicării 2000
Număr pagini 552
EAN 9783540412199
ISBN 3540412190
Codul Libristo 01563129
Editura Springer, Berlin
Greutatea 780
Dimensiuni 155 x 235 x 29

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory > Cybernetics & systems theory
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer hardware
Computing & Information Technology > Computer programming / software engineering
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