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 Alan J. Hu
Kod Libristo: 01560042
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2004
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods... Cały opis
? points 154 b
261.63 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ć

TOP
Battle Angel Alita: Last Order Omnibus 1 Yukito Kishiro / Miękka
common.buy 70.98 zł
TOP
Manual of Systematic Eyelid Surgery J. R. O. Collin / Miękka
common.buy 335.42 zł
This Is Gonna Hurt Nikki Sixx / Miękka
common.buy 63.01 zł
Prince William: Born to be King Penny Junor / Miękka
common.buy 60.51 zł
Commerce and Navigation of the Erythraean Sea; Being a Translation of the Periplus Maris Erythraei, by an Anonymous Writer, and of Arrian's Account of nonymous / Miękka
common.buy 127.12 zł
Dispossession - The Performative in the Political Judith Butler / Twarda
common.buy 349.68 zł
Elektromagnetische Schirmung Hans A. Wolfsperger / Twarda
common.buy 1 071.19 zł
Group Processes John M Levine / Twarda
common.buy 854.91 zł
Brangane-Figur bei Gottfried von Strassburg und Viola Alvarez Claudia Stoiser / Miękka
common.buy 155.14 zł
Paris war eine Frau Andrea Weiss / Miękka
common.buy 73.18 zł
TROUVER AA PLACE INDIVIDUS ET COMMUNAUT / Miękka
common.buy 70.98 zł
Klick! Deutsch - Ausgabe 2007 - 7. Schuljahr Dorothee Braun / Miękka
common.buy 55.03 zł
Die deutsche Rechtsprechung auf dem Gebiete des Internationalen Privatrechts im Jahre 2011 Rainer Kulms / Twarda
common.buy 1 605.24 zł

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004.§The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The papers address all current issues on tools, methods, algorithms, and foundational theory for the application of formalized reasoning to all aspects of computer-aided systems design, including specification, verification, synthesis, and testing.

Informacje o książce

Pełna nazwa Formal Methods in Computer-Aided Design
Autor Alan J. Hu, Andrew K. Martin
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 448
EAN 9783540237389
ISBN 3540237380
Kod Libristo 01560042
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1430
Wymiary 155 x 235 x 25

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Projektowanie wspomagane komputerowo (CAD)
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
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) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy
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