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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

8th International Conference, CAV '96, New Brunswick, NJ, July 31 - August 3, 1996, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Rajeev Alur
Libristo kod: 05274597
Nakladnici Springer, Berlin, studeni 1998
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided... Cijeli opis
? points 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Les secrets de l'Ortie - Vol. 1 Bertrand / Knjiga Meki uvez
common.buy 21.84 €
Twoja domowa obrona cywilna. Jak mądrze zabezpieczyć i przygotować swój dom i rodzinę Paweł Frankowski / Knjiga Meki uvez
common.buy 10.71 €
L'Idee de Dieu Dans La Morale: These Presentee A La Faculte Des Lettres de Paris Pasty-P / Knjiga Meki uvez
common.buy 28.21 €
Aux origines d'Arsène Lupin - Ostrowski, rat d'hôtel à la Belle Époque Patrice Lajoye / Knjiga Meki uvez
common.buy 28.62 €
Finanční stráž v Novohradských horách Jan Ciglbauer / Knjiga Tvrdi uvez
common.buy 17.69 €
Noční let Antoine de Saint-Exupery / Audio Audio CD
common.buy 10.11 €
Wechselwahler in der Bundesrepublik Deutschland. Analyse und Typenbildung Oliver Ruck / Knjiga Meki uvez
common.buy 16.18 €
Archetypy i nieswiadomosc zbiorowa Carl Gustav Jung / Knjiga Meki uvez
common.buy 23.26 €
Les Palestiniens face ? la conqu?te sioniste (1917-1948) Cohen / Knjiga Meki uvez
common.buy 33.47 €
Rechtschreibung - Aufbauwissen, 12 farbige A3-Poster Christian Stang / Tiskanica Plakat
common.buy 17.89 €
Choses Vues: Nouvelle Serie (Ed.1900) Victor Hugo / Knjiga Meki uvez
common.buy 26.19 €
Huhner-Malbuch 3 & 4 Nick Snels / Knjiga Meki uvez
common.buy 17.79 €
Landung auf dem Mond und weitere Abenteuer Sándor Ferenczy / Audio Audio CD
common.buy 10.31 €
ist Deutschland! Karin Hartewig / Knjiga Meki uvez
common.buy 7.37 €
Sobre la salvación del alma Bernard Lievegoed / Knjiga Meki uvez
common.buy 14.76 €

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

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 Computer Aided Verification
Autor Rajeev Alur, Thomas Henzinger
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1999
Broj stranica 479
EAN 9783540614746
ISBN 3540614745
Libristo kod 05274597
Nakladnici Springer, Berlin
Težina 630
Dimenzije 156 x 234 x 25

Kategorija

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer hardware
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

Easy Guitar Jack Johnson / Knjiga Meki uvez
common.buy 18.10 €
Urban Development in India Pablo S. Bose / Knjiga Tvrdi uvez
common.buy 141.61 €
Don't Call It Night Amos Oz / Knjiga Meki uvez
common.buy 14.76 €
Indiana's Ohio River Scenic Byway Leslie Townsend / Knjiga Meki uvez
common.buy 19.61 €
Walk in My Boots - The Joy of Connecting Bonnie Ross-Parker / Knjiga Meki uvez
common.buy 17.39 €
Bread and Ale for the Brethren Philip Slavin / Knjiga Meki uvez
common.buy 39.24 €
Guide to the American Revolutionary War in Canada and New England Desmarais Norman / Knjiga Meki uvez
common.buy 22.14 €
Beyond the Garden Gate Marietta Loehrlein / Knjiga Meki uvez
common.buy 14.76 €
Philip Larkin and His Audiences G Steinberg / Knjiga Meki uvez
common.buy 53.30 €
Counting Pumpkins 1 to 20. Bilingual Spanish-English: Contando Calabazas 1 al 20. Bilingüe Espa?ol-Inglés Jp Lepeley / Knjiga Meki uvez
common.buy 12.13 €
Keto Meal Prep Mark Evans / Knjiga Tvrdi uvez
common.buy 26.80 €
Gene Delivery Yashwant Pathak / Knjiga Tvrdi uvez
common.buy 209.08 €
Quitter: Closing the Gap Between Your Day Job and Your Dream Job / Knjiga Meki uvez
common.buy 13.54 €
Making Miniature Period Furniture for Dolls' Houses Angela Law / Knjiga Meki uvez
common.buy 21.64 €
Cryopreservation in Assisted Reproduction Ashok Agarwal / Knjiga Meki uvez
common.buy 141.00 €
The Rip 2026 Rian Marlowe / Knjiga Meki uvez
common.buy 14.86 €
Critical Introduction to Fictionalism KOON FREDRICK / Knjiga Meki uvez
common.buy 43.39 €
Six Key Approaches to Counselling and Therapy Richard Nelson-Jones / Knjiga Tvrdi uvez
common.buy 113.39 €
Reformation in Germany C. Scott Dixon / Knjiga Tvrdi uvez
common.buy 127.65 €
Taking Stock John David Stewart / Knjiga Meki uvez
common.buy 38.83 €
It'll All Be Wrong on the Night Reginald Frary / Knjiga Meki uvez
common.buy 11.72 €
Role of the International Community in Domestic Politics Tsitsi Muvunzi / Knjiga Meki uvez
common.buy 25.08 €
Pripremamo
African Women's Report United Nations: Economic Commission for Africa / Knjiga Meki uvez
common.buy 43.08 €
Betty Zane Zane Grey / Knjiga Meki uvez
common.buy 18.40 €

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?