phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Formal Methods in Computer-Aided Design

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods in Computer-Aided Design Albert Camilleri
Kod Libristo: 05274636
Wydawnictwo Springer, Berlin, listopad 1995
This book constitutes the refereed proceedings of the First International Conference on Formal Metho... Cały opis
? points 154 b
262.97 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Slownik Wspolczesny Dictionary 2 Paper and CD-ROM Pack Jacek Fisiak / Miękka
common.buy 137.29 zł
Fluch der Karibik, 1 DVD (Movie Edition) Stephen E. Rivkin / DVD
common.buy 51.90 zł
Charlie Chaplin, Goldrausch, 1 DVD Charlie Chaplin / DVD
common.buy 59.22 zł
C. S. Lewis A Life Alister McGrath / Miękka
common.buy 83.18 zł
Faith Through Reason J Matlary / Miękka
common.buy 83.88 zł
Als Pitti schneller wachsen wollte, 1 Audio-CD Ursula Feustel / CD Audio
common.buy 25.75 zł
Kinderalbum op. 39 für Klavier Peter I. Tschaikowski / Nuty
common.buy 92.89 zł
Emotional Growth and Learning Paul Greenhalgh / Miękka
common.buy 432.95 zł
Yours for the Asking - An Indispensable Guide to Fundraising and Management Reynold Levy / Twarda
common.buy 135.79 zł
Companion to Archaeology Bintliff / Miękka
common.buy 303.86 zł
Mystery of Hedgehog Hill Ron Dennis / Miękka
common.buy 49.20 zł
Mais Oui! Robin Phillips / Twarda
common.buy 388.85 zł
Your Rights / Miękka
common.buy 165.36 zł
Psychotherapie in Zeiten der Globalisierung Bernhard Strauß / Miękka
common.buy 215.87 zł

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.

Informacje o książce

Pełna nazwa Formal Methods in Computer-Aided Design
Autor Albert Camilleri, Mandayam Srivas
Język Angielski
Oprawa Książka - Miękka
Data wydania 1996
Liczba stron 478
EAN 9783540619376
ISBN 3540619372
Kod Libristo 05274636
Wydawnictwo Springer, Berlin
Waga 628
Wymiary 156 x 234 x 24

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna
Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Projektowanie wspomagane komputerowo (CAD)
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo