phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Formal Methods in Computer-Aided Design

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods in Computer-Aided Design Albert Camilleri
Libristo kód: 05274636
Nakladateľstvo Springer, Berlin, november 1995
This book constitutes the refereed proceedings of the First International Conference on Formal Metho... Celý popis
? points 154 b
61.46 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Slownik Wspolczesny Dictionary 2 Paper and CD-ROM Pack Jacek Fisiak / Brožovaná
common.buy 41.07 €
Fluch der Karibik, 1 DVD (Movie Edition) Stephen E. Rivkin / DVD
common.buy 10.69 €
Charlie Chaplin, Goldrausch, 1 DVD Charlie Chaplin / DVD
common.buy 13.31 €
C. S. Lewis A Life Alister McGrath / Brožovaná
common.buy 16.95 €
Faith Through Reason J Matlary / Brožovaná
common.buy 19.57 €
Kinderalbum op. 39 für Klavier Peter I. Tschaikowski / Noty
common.buy 21.69 €
Yours for the Asking - An Indispensable Guide to Fundraising and Management Reynold Levy / Pevná
common.buy 31.68 €
Emotional Growth and Learning Paul Greenhalgh / Brožovaná
common.buy 101.13 €
Companion to Archaeology Bintliff / Brožovaná
common.buy 70.95 €
Mystery of Hedgehog Hill Ron Dennis / Brožovaná
common.buy 11.50 €
Mais Oui! Robin Phillips / Pevná
common.buy 95.17 €
Your Rights / Brožovaná
common.buy 40.77 €
Psychotherapie in Zeiten der Globalisierung Bernhard Strauß / Brožovaná
common.buy 52.88 €

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ácie o knihe

Celý názov Formal Methods in Computer-Aided Design
Autor Albert Camilleri, Mandayam Srivas
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1996
Počet strán 478
EAN 9783540619376
ISBN 3540619372
Libristo kód 05274636
Nakladateľstvo Springer, Berlin
Váha 628
Rozmery 156 x 234 x 24

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo
Výpočtové a informačné technológie > Grafické a digitálne mediálne aplikácie > Počítačom podporovaný dizajn (CAD)
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Počítačový hardvér
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet