Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Formal Methods in Computer-Aided Design

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

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods in Computer-Aided Design Warren A. Hunt
Код Либристо: 01563129
Издателство Springer, Berlin, ноември 1999
This book constitutes the refereed proceedings of the Third International Conference on Formal Metho... Цялото описание
? points 263 b
108.65 €
212.50  лв
Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

JOHANN MATTHESON: EL PERFECTO MAESTRO DE CAPILLA (HAMBURGO, MATTHESON / Книга Книга
common.buy 94.21 € 184.25 лв
Подготвяме
DIE FREIMAUREREI IHREN ANHÄNGERN VERSTÄNDLICH GEMACHT - BAND 3: DER MEISTER. Bd.3 Oswald Wirth / Книга С меки корици
common.buy 13.56 € 26.52 лв
Hörfunk-Nachrichten - ihre Auswahl, Zusammenstellung und Präsentation Anja Engel / Книга С меки корици
common.buy 17.13 € 33.50 лв
Dinosaurios y criaturas prehistóricas EMILY HAWKINS / Книга С твърди корици
common.buy 34.06 € 66.61 лв
Festschrift für Hans-Heinrich Jescheck zum 70. Geburtstag. Theo Vogler / Книга С твърди корици
common.buy 243.75 € 476.74 лв
Denken. Aufrütteln. Gestalten. Life is a Story - story.one Matthias Strolz / Книга С твърди корици
common.buy 19.04 € 37.25 лв
Comment peut-on être Berbère ? - Amnésie, renaissance, soulèvement - Livre collegium / Книга С меки корици
common.buy 33.59 € 65.70 лв
Kinderhospizarbeit Sven Jennessen / E-книга Adobe ePub DRM
common.buy 33.49 € 65.49 лв
Broste copenhagen Milchkrug Nordic Sand Игра/играчка Играчка
common.buy 50.57 € 98.90 лв
Подготвяме
BACK Green / Книга С меки корици
common.buy 26.34 € 51.52 лв
Une breve histoire de la philosophie Droit / Книга С меки корици
common.buy 13.71 € 26.82 лв
Contribution à la maintenance à base des réseaux de Pétri flous Feres Ben Saad / Книга С меки корици
common.buy 47.15 € 92.22 лв
Loi sur les armes ? feu (Canada) - Edition 2018 La Bibliotheque Juridique / Книга С меки корици
common.buy 14.75 € 28.84 лв
Die Kopplung von Wissenschaft und Wirtschaft Thomas Heinze / Книга С меки корици
common.buy 47.46 € 92.83 лв
Julius Caesar William Shakespeare / Книга Книга
common.buy 8.28 € 16.19 лв
Abwehr wirtschaftskrimineller Handlungen in Kreditinstituten / Книга С меки корици
common.buy 37.21 € 72.78 лв
Como contar historias sobre desastres? Martins Mario / Книга С меки корици
common.buy 27.48 € 53.75 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Formal Methods in Computer-Aided Design
Автор Warren A. Hunt, Steven D. Johnson
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2000
Брой страници 552
Баркод 9783540412199
ISBN 3540412190
Код Либристо 01563129
Издателство Springer, Berlin
Тегло 780
Размери 155 x 235 x 29

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory > Cybernetics & systems theory
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer hardware
Computing & Information Technology > Computer programming / software engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

The 8th International Conference on Laser Applications - ICLA 2011 Mohamed Abdel Harith / Книга С меки корици
common.buy 130.91 € 256.03 лв
Look Smarter Than You are with Oracle Enterprise Performance Reporting Cloud Interrel Consulting / Книга С меки корици
common.buy 39.23 € 76.73 лв
Addresses Educational, Political, Scientific, Religious James Thomas Edwards / Книга С твърди корици
common.buy 33.59 € 65.70 лв
Legende Ridley Scott / Видео Blu-ray
common.buy 13.40 € 26.21 лв
Edge of Grace Christa Allan / Книга С меки корици
common.buy 14.28 € 27.93 лв
Tribe Sebastian Junger / Книга С меки корици
common.buy 10.81 € 21.15 лв
The Wonderful Wizard Of Oz MR Lyman Frank Baum / Книга С меки корици
common.buy 12.37 € 24.19 лв
Flotation Reagents: Applied Surface Chemistry on Minerals Flotation and Energy Resources Beneficiation DIANZUO WANG / Книга С меки корици
common.buy 108.65 € 212.50 лв
Top
Tales From Acorn Wood Little Library Julia Donaldson / Книга Дипляна
common.buy 8.17 € 15.99 лв
Business Email Marc Roche / Книга С меки корици
common.buy 13.87 € 27.12 лв
Hidden Beginnings: The Hidden Series Nicole Colville / Книга С меки корици
common.buy 15.73 € 30.77 лв
Architectural Studies In France (1890) John Louis Petit / Книга С меки корици
common.buy 40.16 € 78.55 лв
Mr Le Mans: Tom Kristensen Dan Philipsen / Книга С твърди корици
common.buy 44.98 € 87.97 лв
Chinese Economic Statecraft from 1978 to 1989 Priscilla Roberts / Книга С твърди корици
common.buy 181.53 € 355.05 лв
CCIE Enterprise Infrastructure Foundation Narbik Kocharians / Книга С меки корици
common.buy 109.27 € 213.71 лв
Hand-book Of Toxicology Preston Benjamin Rose / Книга С меки корици
common.buy 18.42 € 36.03 лв
Top
MICHAEL STORRINGS SPRINGTIME IN PARIS GALISON / Игра/играчка Пъзел
common.buy 16.46 € 32.18 лв
Misconceptions Naomi Wolf / Книга С меки корици
common.buy 23.96 € 46.86 лв
Gestures and Speech Pierre FeyereisenJacques-Dominique de Lannoy / Книга С твърди корици
common.buy 89.86 € 175.75 лв
Irreversible Phenomena and Dynamical Systems Analysis in Geosciences C. Nicolis / Книга С твърди корици
common.buy 216.99 € 424.40 лв
Press Censorship in Elizabethan England Clegg / Книга С твърди корици
common.buy 126.56 € 247.53 лв
Loss of the Ship Essex Sunk By a Whale Owen Chase / Книга С меки корици
common.buy 14.80 € 28.95 лв
Top
Incal Alexandro Jodorowsky / Книга С твърди корици
common.buy 37.83 € 74.00 лв
Political Development and the New Realism in Sub-Saharan Africa David E. Apter / Книга С твърди корици
common.buy 57.09 € 111.66 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?