Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods in Computer-Aided Design

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods in Computer-Aided Design Albert Camilleri
Libristo kod: 05274636
Nakladnici Springer, Berlin, studeni 1995
This book constitutes the refereed proceedings of the First International Conference on Formal Metho... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

MEANDRES D ASIE DU BAIKAL AU BENGALE T2 Riegel Knjiga Meki uvez
common.buy 25.31 €
Géométrie sacrée Miranda Lundy / Knjiga Meki uvez
common.buy 9.00 €
Les Maîtres de Bayreuth Charlie Roquin / Knjiga Meki uvez
common.buy 11.33 €
LA FACE CACHEE DU MARCHE DE L'ART Georgina adam / Knjiga Meki uvez
common.buy 32.40 €
Baudolino Umberto Eco / Knjiga Meki uvez
common.buy 17.51 €
Kommunalrecht Thüringen Till Buchholz / Knjiga Meki uvez
common.buy 22.47 €
Sprawdziany dla klasy 4 Język angielski Paszylk Bartłomiej / Knjiga Meki uvez
common.buy 6.57 €
Flash Gordon 42. Cilt Dan Barry / Knjiga Meki uvez
common.buy 23.08 €
Sirr-i Salat Imam Humeyni / Knjiga Meki uvez
common.buy 13.16 €
Programme Du Cours Des Maladies Epidemiques ROCHARD-C / Knjiga Meki uvez
common.buy 13.66 €
Dítěti vstříc: Teorie literatury pro děti a mládež Lukavská Jana Segi / Knjiga Meki uvez
common.buy 10.12 €
Fluch der Karibik, 1 DVD (Movie Edition) Stephen E. Rivkin / Video DVD
common.buy 10.12 €
Darstellung der Liebe im L'Heptameron von Marguerite de Navarre Susanne Hasenstab / Knjiga Meki uvez
common.buy 16.20 €
Kinderalbum op. 39 für Klavier Peter I. Tschaikowski / Tiskanica Note
common.buy 20.65 €
Modern Drumming. Schlagzeugschule mit CD zum Mitspielen / Modern Drumming Grooves, m. 1 Audio-CD Diethard Stein / Knjiga Meki uvez
common.buy 24.30 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods in Computer-Aided Design
Autor Albert Camilleri, Mandayam Srivas
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1996
Broj stranica 478
EAN 9783540619376
ISBN 3540619372
Libristo kod 05274636
Nakladnici Springer, Berlin
Težina 628
Dimenzije 156 x 234 x 24

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
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 hardware
Computing & Information Technology > Computer programming / software engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Fundamentals of Biomechanics Dawn L. Leger / Knjiga Meki uvez
common.buy 87.60 €
Mystery of Hedgehog Hill Ron Dennis / Knjiga Meki uvez
common.buy 10.62 €
Mental Models Theory of Reasoning Walter Schaeken / Knjiga Tvrdi uvez
common.buy 216.33 €
God Pocket Bruce Wilkinson / Knjiga Tvrdi uvez
common.buy 11.84 €
Manual De Uso De La Moxibustión CHAO CHANG / Knjiga Meki uvez
common.buy 10.52 €
Faith Through Reason J Matlary / Knjiga Meki uvez
common.buy 18.42 €
Making Human Rights a Reality Emile M Hafner Burton / Knjiga Meki uvez
common.buy 36.45 €
Guy Free, Working on Me Shauna Hoffman / Knjiga Meki uvez
common.buy 7.69 €
Tropical Renditions Christine Bacareza Balance / Knjiga Tvrdi uvez
common.buy 118.90 €
Lectures on Nervous and Mental Diseases Charles Sinclaire Elliott / Knjiga Tvrdi uvez
common.buy 50.63 €
C. S. Lewis A Life Alister McGrath / Knjiga Meki uvez
common.buy 18.02 €
The Best American Poetry Heather McHugh / Knjiga Tvrdi uvez
common.buy 27.13 €
Models of God and Alternative Ultimate Realities Jeanine Diller / Knjiga Meki uvez
common.buy 226.56 €
Irish Fine Art in the Early Modern Period CAROLINE PEGUM / Knjiga Meki uvez
common.buy 46.18 €
The Dalton Divorce Case Anonymous / Knjiga Meki uvez
common.buy 19.23 €
Wilde About The Girl Louise Pentland / Knjiga Meki uvez
common.buy 13.16 €
Topeka School LERNER BEN / Knjiga Meki uvez
common.buy 8.60 €
Sources For Roman History, B.C. 133-170 (1903) Abel Hendy Jones Greenidge / Knjiga Tvrdi uvez
common.buy 43.95 €
Ultra-High Performance Concrete and High Performance Construction Materials Ekkehard Fehling / Knjiga Meki uvez
common.buy 37.87 €
Yours for the Asking - An Indispensable Guide to Fundraising and Management Reynold Levy / Knjiga Tvrdi uvez
common.buy 29.77 €
Monarchy and the End of Empire Philip Murphy / Knjiga Meki uvez
common.buy 67.75 €
Why Do Leaves Change Color? Betsy Maestro / Knjiga Meki uvez
common.buy 7.69 €
Emotional Growth and Learning Paul Greenhalgh / Knjiga Meki uvez
common.buy 105.43 €
Your Rights Megan Addis / Knjiga Meki uvez
common.buy 30.58 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?