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

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods in Computer-Aided Design Warren A. Hunt
Kod Libristo: 01563129
Wydawnictwo Springer, Berlin, listopad 1999
This book constitutes the refereed proceedings of the Third International Conference on Formal Metho... Cały opis
? points 249 b
437.66 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

JOHANN MATTHESON: EL PERFECTO MAESTRO DE CAPILLA (HAMBURGO, MATTHESON / Książka Książka
common.buy 385.14 zł
Zapowiedź
DIE FREIMAUREREI IHREN ANHÄNGERN VERSTÄNDLICH GEMACHT - BAND 3: DER MEISTER. Bd.3 Oswald Wirth / Książka Miękka
common.buy 54.12 zł
Hörfunk-Nachrichten - ihre Auswahl, Zusammenstellung und Präsentation Anja Engel / Książka Miękka
common.buy 68.81 zł
Dinosaurios y criaturas prehistóricas EMILY HAWKINS / Książka Twarda
common.buy 139.24 zł
Festschrift für Hans-Heinrich Jescheck zum 70. Geburtstag. Theo Vogler / Książka Twarda
common.buy 986.12 zł
Denken. Aufrütteln. Gestalten. Life is a Story - story.one Matthias Strolz / Książka Twarda
common.buy 76.56 zł
Comment peut-on être Berbère ? - Amnésie, renaissance, soulèvement - Livre collegium / Książka Miękka
common.buy 136.83 zł
Kinderhospizarbeit Sven Jennessen / E-book Adobe ePub DRM
common.buy 135.42 zł
Broste copenhagen Milchkrug Nordic Sand Gra/Zabawka Zabawka
common.buy 204.04 zł
Zapowiedź
BACK Green / Książka Miękka
common.buy 107.35 zł
Une breve histoire de la philosophie Droit / Książka Miękka
common.buy 55.63 zł
Contribution à la maintenance à base des réseaux de Pétri flous Feres Ben Saad / Książka Miękka
common.buy 189.14 zł
Loi sur les armes ? feu (Canada) - Edition 2018 La Bibliotheque Juridique / Książka Miękka
common.buy 62.67 zł
Die Kopplung von Wissenschaft und Wirtschaft Thomas Heinze / Książka Miękka
common.buy 192.16 zł
Julius Caesar William Shakespeare / Książka Książka
common.buy 31.28 zł
Abwehr wirtschaftskrimineller Handlungen in Kreditinstituten / Książka Miękka
common.buy 150.51 zł
Como contar historias sobre desastres? Martins Mario / Książka Miękka
common.buy 110.06 zł

This book constitutes the refereed proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000, held in Austin, Texas in November 2000.The 30 revised full papers presented together with two invited contributions were carefully reviewed and selected from 63 submissions. All current issues of research and development approaches based on formal methods for the design and analysis of systems are addressed. Among the topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modeling, program semantics, theorem proving, symbolic simulation, and transition systems.

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 Warren A. Hunt, Steven D. Johnson
Język Angielski
Oprawa Książka - Miękka
Data wydania 2000
Liczba stron 552
EAN 9783540412199
ISBN 3540412190
Kod Libristo 01563129
Wydawnictwo Springer, Berlin
Waga 780
Wymiary 155 x 235 x 29

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Publikacje informacyjne i interdyscyplinarne > Informacja naukowa > Teoria informacji > Cybernetyka i teoria systemów
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) > Informatyka (nauka) > Sztuczna inteligencja
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

Mogłoby Cię także zainteresować

The 8th International Conference on Laser Applications - ICLA 2011 Mohamed Abdel Harith / Książka Miękka
common.buy 529.63 zł
Look Smarter Than You are with Oracle Enterprise Performance Reporting Cloud Interrel Consulting / Książka Miękka
common.buy 166.61 zł
Addresses Educational, Political, Scientific, Religious James Thomas Edwards / Książka Twarda
common.buy 142.56 zł
Legende Ridley Scott / Wideo Blu-ray
common.buy 54.42 zł
Edge of Grace Christa Allan / Książka Miękka
common.buy 60.76 zł
Tribe Sebastian Junger / Książka Miękka
common.buy 42.85 zł
The Wonderful Wizard Of Oz MR Lyman Frank Baum / Książka Miękka
common.buy 52.51 zł
Flotation Reagents: Applied Surface Chemistry on Minerals Flotation and Energy Resources Beneficiation DIANZUO WANG / Książka Miękka
common.buy 437.66 zł
TOP
Tales From Acorn Wood Little Library Julia Donaldson / Książka Leporelo
common.buy 32.69 zł
Business Email Marc Roche / Książka Miękka
common.buy 58.95 zł
Hidden Beginnings: The Hidden Series Nicole Colville / Książka Miękka
common.buy 66.90 zł
Architectural Studies In France (1890) John Louis Petit / Książka Miękka
common.buy 170.53 zł
Mr Le Mans: Tom Kristensen Dan Philipsen / Książka Twarda
common.buy 178.98 zł
Chinese Economic Statecraft from 1978 to 1989 Priscilla Roberts / Książka Twarda
common.buy 697.35 zł
CCIE Enterprise Infrastructure Foundation Narbik Kocharians / Książka Miękka
common.buy 438.37 zł
Hand-book Of Toxicology Preston Benjamin Rose / Książka Miękka
common.buy 78.17 zł
TOP
MICHAEL STORRINGS SPRINGTIME IN PARIS GALISON / Gra/Zabawka Puzzle
common.buy 65.89 zł
Misconceptions Naomi Wolf / Książka Miękka
common.buy 97.49 zł
Gestures and Speech Pierre FeyereisenJacques-Dominique de Lannoy / Książka Twarda
common.buy 381.42 zł
Irreversible Phenomena and Dynamical Systems Analysis in Geosciences C. Nicolis / Książka Twarda
common.buy 874.03 zł
Press Censorship in Elizabethan England Clegg / Książka Twarda
common.buy 537.37 zł
Loss of the Ship Essex Sunk By a Whale Owen Chase / Książka Miękka
common.buy 62.87 zł
TOP
Incal Alexandro Jodorowsky / Książka Twarda
common.buy 160.67 zł
Political Development and the New Realism in Sub-Saharan Africa David E. Apter / Książka Twarda
common.buy 242.37 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?