phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Formal Methods in Computer-Aided Design

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods in Computer-Aided Design Warren A. Hunt
Libristo kód: 01563129
Kiadó Springer, Berlin, november 1999
This book constitutes the refereed proceedings of the Third International Conference on Formal Metho... Teljes leírás
? points 331 b
52 422 Ft
Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
Tribe Sebastian Junger / Puha kötésű
common.buy 4 097 Ft
toplistás
Tales From Acorn Wood Little Library Julia Donaldson / Leporelló
common.buy 3 307 Ft
toplistás
Incal Alexandro Jodorowsky / Kemény kötésű
common.buy 16 091 Ft
Mr Le Mans: Tom Kristensen Dan Philipsen / Kemény kötésű
common.buy 19 556 Ft
Business Email Marc Roche / Puha kötésű
common.buy 6 235 Ft
Loss of the Ship Essex Sunk By a Whale Owen Chase / Puha kötésű
common.buy 6 964 Ft
Legende Ridley Scott / Blu-ray
common.buy 5 475 Ft
CCIE Enterprise Infrastructure Foundation / Puha kötésű
common.buy 42 641 Ft
Deutsche Zivilverwaltung und Judenverfolgung im Generalgouvernement Bogdan Musial / Puha kötésű
common.buy 14 587 Ft
Denken. Aufrütteln. Gestalten. Life is a Story - story.one Matthias Strolz / Kemény kötésű
common.buy 7 136 Ft
Hörfunk-Nachrichten - ihre Auswahl, Zusammenstellung und Präsentation Anja Engel / Puha kötésű
common.buy 17 150 Ft
Festschrift für Hans-Heinrich Jescheck zum 70. Geburtstag. Theo Vogler / Kemény kötésű
common.buy 91 031 Ft
The 8th International Conference on Laser Applications - ICLA 2011 Mohamed Abdel Harith / Puha kötésű
common.buy 48 942 Ft
Como contar historias sobre desastres? Martins Mario / Puha kötésű
common.buy 14 318 Ft
Comment peut-on être Berbère ? - Amnésie, renaissance, soulèvement - Livre collegium / Puha kötésű
common.buy 12 976 Ft
Irreversible Phenomena and Dynamical Systems Analysis in Geosciences C. Nicolis / Kemény kötésű
common.buy 104 083 Ft

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.

Információ a könyvről

Teljes megnevezés Formal Methods in Computer-Aided Design
Szerző Warren A. Hunt, Steven D. Johnson
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2000
Oldalszám 552
EAN 9783540412199
ISBN 3540412190
Libristo kód 01563129
Kiadó Springer, Berlin
Súly 780
Méretek 155 x 235 x 29

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Referensz, információ és interdiszciplináris (tudományközi) témák > Kutatás és nformáció: általános jellegű > Információelmélet > Kibernetika és rendszerelmélet
Számítástechnika és információtechnológia > Grafikus és digitális média > Számítógép által segített tervezés / dizájn (CAD)
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Számítástechnika és információtechnológia > Számítógépes hardver
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása