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 Albert Camilleri
Libristo kód: 05274636
Kiadó Springer, Berlin, november 1995
This book constitutes the refereed proceedings of the First International Conference on Formal Metho... Teljes leírás
? points 168 b
26 453 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

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

Ezt is ajánljuk

Slownik Wspolczesny Dictionary 2 Paper and CD-ROM Pack Jacek Fisiak / Puha kötésű
common.buy 15 627 Ft
Fluch der Karibik, 1 DVD (Movie Edition) Stephen E. Rivkin / DVD
common.buy 4 247 Ft
Charlie Chaplin, Goldrausch, 1 DVD Charlie Chaplin / DVD
common.buy 5 305 Ft
Modern Drumming. Schlagzeugschule mit CD zum Mitspielen / Modern Drumming Grooves, m. 1 Audio-CD Diethard Stein / Puha kötésű
common.buy 10 166 Ft
C. S. Lewis A Life Alister McGrath / Puha kötésű
common.buy 7 557 Ft
Faith Through Reason J Matlary / Puha kötésű
common.buy 8 453 Ft
Mais Oui! Robin Phillips / Kemény kötésű
common.buy 37 567 Ft
Als Pitti schneller wachsen wollte, 1 Audio-CD Ursula Feustel / Audio CD
common.buy 2 534 Ft
Kinderalbum op. 39 für Klavier Peter I. Tschaikowski / Kotta
common.buy 8 720 Ft
Your Rights / Puha kötésű
common.buy 16 086 Ft
Yours for the Asking - An Indispensable Guide to Fundraising and Management Reynold Levy / Kemény kötésű
common.buy 13 693 Ft
Emotional Growth and Learning Paul Greenhalgh / Puha kötésű
common.buy 43 375 Ft
Mystery of Hedgehog Hill Ron Dennis / Puha kötésű
common.buy 5 053 Ft
Companion to Archaeology Bintliff / Puha kötésű
common.buy 30 735 Ft
Psychotherapie in Zeiten der Globalisierung Bernhard Strauß / Puha kötésű
common.buy 20 902 Ft

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.

Információ a könyvről

Teljes megnevezés Formal Methods in Computer-Aided Design
Szerző Albert Camilleri, Mandayam Srivas
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1996
Oldalszám 478
EAN 9783540619376
ISBN 3540619372
Libristo kód 05274636
Kiadó Springer, Berlin
Súly 628
Méretek 156 x 234 x 24

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