Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods in Computer-Aided Design

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

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 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Kde je pan Kačer? Knížka do kočárku Ingela P. Arrhemius / Książka Leporelo
common.buy 32.71 zł
EL FIN DE LA REVOLUCION SOCIAL BAKUNIN / Książka Książka
common.buy 65.33 zł
Maca Kizi 8 - 1. Kitap Ciltli / Książka Miękka
common.buy 97.75 zł
Ceci n'est pas une chanson d'amour Alessandro ROBECCHI / Książka Miękka
common.buy 75.67 zł
Se souvenir de la Normandie GROS / Książka Twarda
common.buy 131.57 zł
BABADADA, Turkce - latviesu valoda, goersel soezluk - Attēlu vārdnīca BABADADA GMBH / Książka Miękka
common.buy 120.13 zł
Statuts, Ordonnances Et Declaration Du Roy Du 7 Octobre 1675, Confirmative d'Iceux Louis XIV / Książka Miękka
common.buy 58.00 zł
Akt małżeński Knotz Ksawery / Audio CD Audio
common.buy 22.27 zł
Brangane-Figur bei Gottfried von Strassburg und Viola Alvarez Claudia Stoiser / Książka Miękka
common.buy 68.64 zł
Die deutsche Rechtsprechung auf dem Gebiete des Internationalen Privatrechts im Jahre 2011 Rainer Kulms / Książka Twarda
common.buy 1 527.49 zł
Grablege Karls des Grossen Gergely Kapolnasi / Książka Miękka
common.buy 68.64 zł
Elektromagnetische Schirmung Hans A. Wolfsperger / Książka Twarda
common.buy 916.75 zł
Paris war eine Frau Andrea Weiss / Książka Miękka
common.buy 76.37 zł
Klick! Deutsch - Ausgabe 2007 - 7. Schuljahr Dorothee Braun / Książka Miękka
common.buy 58.81 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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

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

Mogłoby Cię także zainteresować

TOP
Battle Angel Alita: Last Order Omnibus 1 Yukito Kishiro / Książka Miękka
common.buy 66.94 zł
Tanie
Airline Aircraft Maintenance John Revere / Książka Miękka
common.buy 158.77 zł
Fetch Paul Richardson / Książka Miękka
common.buy 78.08 zł
How to draw floral mandala Jose Rodriguez / Książka Miękka
common.buy 43.75 zł
Kjver Discover Jesus New Testament Soft Cover: King James Version Easy Read Whitaker House / Książka Miękka
common.buy 66.94 zł
Annual Report of the Chief Signal Officer to the Secretary of War Signal Office / Książka Twarda
common.buy 126.15 zł
The Elements of Euclid Robert Simson / Książka Miękka
common.buy 102.16 zł
Science Fiction and Fantasy Literature Vol 1 R. Reginald / Książka Twarda
common.buy 266.47 zł
Blairgowrie, Kirriemuir and Glamis Ordnance Survey / Prasa Mapa
common.buy 59.21 zł
EC2ND 2005 Andrew Blyth / Książka Miękka
common.buy 485.47 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 / Książka Miękka
common.buy 113.31 zł
TOP
Manual of Systematic Eyelid Surgery J. R. O. Collin / Książka Miękka
common.buy 342.85 zł
TOP
Spot's First Christmas Eric Hill / Książka Leporelo
common.buy 36.93 zł
TROUVER AA PLACE INDIVIDUS ET COMMUNAUT Roullet / Książka Miękka
common.buy 155.86 zł
Prince William: Born to be King Penny Junor / Książka Miękka
common.buy 59.21 zł
Group Processes John M Levine / Książka Twarda
common.buy 886.34 zł
Jesus in Twentieth Century Literature, Art, and Movies Paul Burns / Książka Miękka
common.buy 239.67 zł
Dispossession - The Performative in the Political Judith Butler / Książka Twarda
common.buy 281.32 zł

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?