Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods in Computer-Aided Design

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods in Computer-Aided Design Albert Camilleri
Libristo kód: 05274636
Nakladatelství Springer, Berlin, listopad 1995
This book constitutes the refereed proceedings of the First International Conference on Formal Metho... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

MEANDRES D ASIE DU BAIKAL AU BENGALE T2 Riegel Kniha Brožovaná
common.buy 639 Kč
Géométrie sacrée Miranda Lundy / Kniha Brožovaná
common.buy 228 Kč
Les Maîtres de Bayreuth Charlie Roquin / Kniha Brožovaná
common.buy 286 Kč
LA FACE CACHEE DU MARCHE DE L'ART Georgina adam / Kniha Brožovaná
common.buy 814 Kč
Baudolino Umberto Eco / Kniha Brožovaná
common.buy 398 Kč
Kommunalrecht Thüringen Till Buchholz / Kniha Brožovaná
common.buy 512 Kč
Sprawdziany dla klasy 4 Język angielski Paszylk Bartłomiej / Kniha Brožovaná
common.buy 183 Kč
Flash Gordon 42. Cilt Dan Barry / Kniha Brožovaná
common.buy 529 Kč
Sirr-i Salat Imam Humeyni / Kniha Brožovaná
common.buy 303 Kč
Programme Du Cours Des Maladies Epidemiques ROCHARD-C / Kniha Brožovaná
common.buy 315 Kč
Dítěti vstříc: Teorie literatury pro děti a mládež Lukavská Jana Segi / Kniha Brožovaná
common.buy 238 Kč
Fluch der Karibik, 1 DVD (Movie Edition) Stephen E. Rivkin / Video DVD
common.buy 255 Kč
Darstellung der Liebe im L'Heptameron von Marguerite de Navarre Susanne Hasenstab / Kniha Brožovaná
common.buy 369 Kč
Kinderalbum op. 39 für Klavier Peter I. Tschaikowski / Tiskovina Noty
common.buy 522 Kč
Modern Drumming. Schlagzeugschule mit CD zum Mitspielen / Modern Drumming Grooves, m. 1 Audio-CD Diethard Stein / Kniha Brožovaná
common.buy 620 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods in Computer-Aided Design
Autor Albert Camilleri, Mandayam Srivas
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1996
Počet stran 478
EAN 9783540619376
ISBN 3540619372
Libristo kód 05274636
Nakladatelství Springer, Berlin
Váha 628
Rozměry 156 x 234 x 24

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačem podporovaný design (CAD)
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Počítačový hardware
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Fundamentals of Biomechanics Dawn L. Leger / Kniha Brožovaná
common.buy 2 228 Kč
Mystery of Hedgehog Hill Ron Dennis / Kniha Brožovaná
common.buy 241 Kč
Mental Models Theory of Reasoning Walter Schaeken / Kniha Pevná
common.buy 4 968 Kč
God Pocket Bruce Wilkinson / Kniha Pevná
common.buy 286 Kč
Manual De Uso De La Moxibustión CHAO CHANG / Kniha Brožovaná
common.buy 267 Kč
Faith Through Reason J Matlary / Kniha Brožovaná
common.buy 423 Kč
Making Human Rights a Reality Emile M Hafner Burton / Kniha Brožovaná
common.buy 838 Kč
Guy Free, Working on Me Shauna Hoffman / Kniha Brožovaná
common.buy 175 Kč
Tropical Renditions Christine Bacareza Balance / Kniha Pevná
common.buy 2 746 Kč
Lectures on Nervous and Mental Diseases Charles Sinclaire Elliott / Kniha Pevná
common.buy 1 164 Kč
C. S. Lewis A Life Alister McGrath / Kniha Brožovaná
common.buy 439 Kč
The Best American Poetry Heather McHugh / Kniha Pevná
common.buy 618 Kč
Models of God and Alternative Ultimate Realities Jeanine Diller / Kniha Brožovaná
common.buy 5 177 Kč
Irish Fine Art in the Early Modern Period CAROLINE PEGUM / Kniha Brožovaná
common.buy 1 115 Kč
The Dalton Divorce Case Anonymous / Kniha Brožovaná
common.buy 441 Kč
Wilde About The Girl Louise Pentland / Kniha Brožovaná
common.buy 331 Kč
Top
Topeka School LERNER BEN / Kniha Brožovaná
common.buy 194 Kč
Sources For Roman History, B.C. 133-170 (1903) Abel Hendy Jones Greenidge / Kniha Pevná
common.buy 1 011 Kč
Ultra-High Performance Concrete and High Performance Construction Materials Ekkehard Fehling / Kniha Brožovaná
common.buy 967 Kč
Yours for the Asking - An Indispensable Guide to Fundraising and Management Reynold Levy / Kniha Pevná
common.buy 685 Kč
Monarchy and the End of Empire Philip Murphy / Kniha Brožovaná
common.buy 1 560 Kč
Why Do Leaves Change Color? Betsy Maestro / Kniha Brožovaná
common.buy 163 Kč
Emotional Growth and Learning Paul Greenhalgh / Kniha Brožovaná
common.buy 2 435 Kč
Your Rights Megan Addis / Kniha Brožovaná
common.buy 811 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?