Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computer Aided Verification

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

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Rajeev Alur
Codul Libristo: 05274597
Editura Springer, Berlin, noiembrie 1998
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Sobre la salvación del alma Bernard Lievegoed / Carte Carte broșată
common.buy 81.62 lei
Top
Archetypy i nieswiadomosc zbiorowa Carl Gustav Jung / Carte Carte broșată
common.buy 128.12 lei
Huhner-Malbuch 3 & 4 Nick Snels / Carte Carte broșată
common.buy 98.30 lei
Rechtschreibung - Aufbauwissen, 12 farbige A3-Poster Christian Stang / Materiale tipărite Poster
common.buy 99.24 lei
Les Palestiniens face ? la conqu?te sioniste (1917-1948) Cohen / Carte Carte broșată
common.buy 186.50 lei
Wechselwahler in der Bundesrepublik Deutschland. Analyse und Typenbildung Oliver Ruck / Carte Carte broșată
common.buy 89.86 lei
Aux origines d'Arsène Lupin - Ostrowski, rat d'hôtel à la Belle Époque Patrice Lajoye / Carte Carte broșată
common.buy 157.00 lei
L'Idee de Dieu Dans La Morale: These Presentee A La Faculte Des Lettres de Paris Pasty-P / Carte Carte broșată
common.buy 155.02 lei
Choses Vues: Nouvelle Serie (Ed.1900) Victor Hugo / Carte Carte broșată
common.buy 144.17 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computer Aided Verification
Autor Rajeev Alur, Thomas Henzinger
Limba engleză
Legare Carte - Carte broșată
Data publicării 1999
Număr pagini 479
EAN 9783540614746
ISBN 3540614745
Codul Libristo 05274597
Editura Springer, Berlin
Greutatea 630
Dimensiuni 156 x 234 x 25

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Easy Guitar Jack Johnson / Carte Carte broșată
common.buy 116.13 lei
Urban Development in India Pablo S. Bose / Carte Copertă tare
common.buy 777.00 lei
Bread and Ale for the Brethren Philip Slavin / Carte Carte broșată
common.buy 216.01 lei
Indiana's Ohio River Scenic Byway Leslie Townsend / Carte Carte broșată
common.buy 109.67 lei
Walk in My Boots - The Joy of Connecting Bonnie Ross-Parker / Carte Carte broșată
common.buy 96.22 lei
Philip Larkin and His Audiences G Steinberg / Carte Carte broșată
common.buy 294.82 lei
Guide to the American Revolutionary War in Canada and New England Desmarais Norman / Carte Carte broșată
common.buy 122.18 lei
Beyond the Garden Gate Marietta Loehrlein / Carte Carte broșată
common.buy 81.62 lei
Don't Call It Night Amos Oz / Carte Carte broșată
common.buy 81.83 lei
Counting Pumpkins 1 to 20. Bilingual Spanish-English: Contando Calabazas 1 al 20. Bilingüe Espa?ol-Inglés Jp Lepeley / Carte Carte broșată
common.buy 66.82 lei
Keto Meal Prep Mark Evans / Carte Copertă tare
common.buy 149.60 lei
Gene Delivery Yashwant Pathak / Carte Copertă tare
common.buy 1 147.01 lei
Quitter: Closing the Gap Between Your Day Job and Your Dream Job / Carte Carte broșată
common.buy 75.78 lei
Making Miniature Period Furniture for Dolls' Houses Angela Law / Carte Carte broșată
common.buy 127.18 lei
Cryopreservation in Assisted Reproduction Ashok Agarwal / Carte Carte broșată
common.buy 781.38 lei
The Rip 2026 Rian Marlowe / Carte Carte broșată
common.buy 81.83 lei
Betty Zane Zane Grey / Carte Carte broșată
common.buy 101.64 lei
Six Key Approaches to Counselling and Therapy Richard Nelson-Jones / Carte Copertă tare
common.buy 632.40 lei
Reformation in Germany C. Scott Dixon / Carte Copertă tare
common.buy 670.46 lei
Taking Stock John David Stewart / Carte Carte broșată
common.buy 214.96 lei
It'll All Be Wrong on the Night Reginald Frary / Carte Carte broșată
common.buy 65.57 lei
Role of the International Community in Domestic Politics Tsitsi Muvunzi / Carte Carte broșată
common.buy 139.38 lei
Critical Introduction to Fictionalism KOON FREDRICK / Carte Carte broșată
common.buy 237.28 lei
Curând
African Women's Report United Nations: Economic Commission for Africa / Carte Carte broșată
common.buy 239.46 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?