Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Aided Verification Rajeev Alur
Koda Libristo: 05274597
Založba Springer, Berlin, november 1998
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Sobre la salvación del alma Bernard Lievegoed / Knjiga Mehka
common.buy 14.17 €
Top
Archetypy i nieswiadomosc zbiorowa Carl Gustav Jung / Knjiga Mehka
common.buy 21.97 €
Huhner-Malbuch 3 & 4 Nick Snels / Knjiga Mehka
common.buy 16.90 €
Rechtschreibung - Aufbauwissen, 12 farbige A3-Poster Christian Stang / Tiskani izdelki Plakat
common.buy 16.80 €
Les Palestiniens face ? la conqu?te sioniste (1917-1948) Cohen / Knjiga Mehka
common.buy 31.59 €
Wechselwahler in der Bundesrepublik Deutschland. Analyse und Typenbildung Oliver Ruck / Knjiga Mehka
common.buy 15.28 €
Aux origines d'Arsène Lupin - Ostrowski, rat d'hôtel à la Belle Époque Patrice Lajoye / Knjiga Mehka
common.buy 27.34 €
L'Idee de Dieu Dans La Morale: These Presentee A La Faculte Des Lettres de Paris Pasty-P / Knjiga Mehka
common.buy 26.93 €
Choses Vues: Nouvelle Serie (Ed.1900) Victor Hugo / Knjiga Mehka
common.buy 25.11 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computer Aided Verification
Avtor Rajeev Alur, Thomas Henzinger
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1999
Število strani 479
EAN 9783540614746
ISBN 3540614745
Koda Libristo 05274597
Založba Springer, Berlin
Teža 630
Mere 156 x 234 x 25

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Easy Guitar Jack Johnson / Knjiga Mehka
common.buy 19.84 €
Urban Development in India Pablo S. Bose / Knjiga Trda
common.buy 135.61 €
Bread and Ale for the Brethren Philip Slavin / Knjiga Mehka
common.buy 37.46 €
Indiana's Ohio River Scenic Byway Leslie Townsend / Knjiga Mehka
common.buy 18.32 €
Walk in My Boots - The Joy of Connecting Bonnie Ross-Parker / Knjiga Mehka
common.buy 16.60 €
Philip Larkin and His Audiences G Steinberg / Knjiga Mehka
common.buy 50.63 €
Guide to the American Revolutionary War in Canada and New England Desmarais Norman / Knjiga Mehka
common.buy 21.16 €
Beyond the Garden Gate Marietta Loehrlein / Knjiga Mehka
common.buy 14.07 €
Don't Call It Night Amos Oz / Knjiga Mehka
common.buy 13.87 €
Counting Pumpkins 1 to 20. Bilingual Spanish-English: Contando Calabazas 1 al 20. Bilingüe Espa?ol-Inglés Jp Lepeley / Knjiga Mehka
common.buy 11.54 €
Keto Meal Prep Mark Evans / Knjiga Trda
common.buy 25.11 €
Gene Delivery Yashwant Pathak / Knjiga Trda
common.buy 200.02 €
Quitter: Closing the Gap Between Your Day Job and Your Dream Job / Knjiga Mehka
common.buy 12.75 €
Making Miniature Period Furniture for Dolls' Houses Angela Law / Knjiga Mehka
common.buy 21.56 €
Cryopreservation in Assisted Reproduction Ashok Agarwal / Knjiga Mehka
common.buy 133.28 €
The Rip 2026 Rian Marlowe / Knjiga Mehka
common.buy 14.07 €
Betty Zane Zane Grey / Knjiga Mehka
common.buy 17.51 €
Six Key Approaches to Counselling and Therapy Richard Nelson-Jones / Knjiga Trda
common.buy 107.15 €
Reformation in Germany C. Scott Dixon / Knjiga Trda
common.buy 127.81 €
Taking Stock John David Stewart / Knjiga Mehka
common.buy 36.76 €
It'll All Be Wrong on the Night Reginald Frary / Knjiga Mehka
common.buy 11.03 €
Role of the International Community in Domestic Politics Tsitsi Muvunzi / Knjiga Mehka
common.buy 23.59 €
Critical Introduction to Fictionalism KOON FREDRICK / Knjiga Mehka
common.buy 41.72 €
Kmalu
African Women's Report United Nations: Economic Commission for Africa / Knjiga Mehka
common.buy 41.31 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo