Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Aided Verification

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

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Rajeev Alur
Kod Libristo: 05274597
Wydawnictwo Springer, Berlin, listopad 1998
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Sobre la salvación del alma Bernard Lievegoed / Książka Miękka
common.buy 65.83 zł
TOP
Archetypy i nieswiadomosc zbiorowa Carl Gustav Jung / Książka Miękka
common.buy 88.11 zł
Huhner-Malbuch 3 & 4 Nick Snels / Książka Miękka
common.buy 75.47 zł
Rechtschreibung - Aufbauwissen, 12 farbige A3-Poster Christian Stang / Prasa Plakat
common.buy 75.67 zł
Les Palestiniens face ? la conqu?te sioniste (1917-1948) Cohen / Książka Miękka
common.buy 142.11 zł
Wechselwahler in der Bundesrepublik Deutschland. Analyse und Typenbildung Oliver Ruck / Książka Miękka
common.buy 68.64 zł
Aux origines d'Arsène Lupin - Ostrowski, rat d'hôtel à la Belle Époque Patrice Lajoye / Książka Miękka
common.buy 126.65 zł
L'Idee de Dieu Dans La Morale: These Presentee A La Faculte Des Lettres de Paris Pasty-P / Książka Miękka
common.buy 119.63 zł
Choses Vues: Nouvelle Serie (Ed.1900) Victor Hugo / Książka Miękka
common.buy 111.20 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computer Aided Verification
Autor Rajeev Alur, Thomas Henzinger
Język Angielski
Oprawa Książka - Miękka
Data wydania 1999
Liczba stron 479
EAN 9783540614746
ISBN 3540614745
Kod Libristo 05274597
Wydawnictwo Springer, Berlin
Waga 630
Wymiary 156 x 234 x 25

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Easy Guitar Jack Johnson / Książka Miękka
common.buy 88.82 zł
Urban Development in India Pablo S. Bose / Książka Twarda
common.buy 600.39 zł
Bread and Ale for the Brethren Philip Slavin / Książka Miękka
common.buy 174.33 zł
Indiana's Ohio River Scenic Byway Leslie Townsend / Książka Miękka
common.buy 88.41 zł
Walk in My Boots - The Joy of Connecting Bonnie Ross-Parker / Książka Miękka
common.buy 73.96 zł
Philip Larkin and His Audiences G Steinberg / Książka Miękka
common.buy 226.02 zł
Guide to the American Revolutionary War in Canada and New England Desmarais Norman / Książka Miękka
common.buy 94.03 zł
Beyond the Garden Gate Marietta Loehrlein / Książka Miękka
common.buy 62.72 zł
Don't Call It Night Amos Oz / Książka Miękka
common.buy 62.52 zł
Counting Pumpkins 1 to 20. Bilingual Spanish-English: Contando Calabazas 1 al 20. Bilingüe Espa?ol-Inglés Jp Lepeley / Książka Miękka
common.buy 51.28 zł
Keto Meal Prep Mark Evans / Książka Twarda
common.buy 113.51 zł
Gene Delivery Yashwant Pathak / Książka Twarda
common.buy 886.34 zł
Quitter: Closing the Gap Between Your Day Job and Your Dream Job / Książka Miękka
common.buy 57.60 zł
Making Miniature Period Furniture for Dolls' Houses Angela Law / Książka Miękka
common.buy 96.84 zł
Cryopreservation in Assisted Reproduction Ashok Agarwal / Książka Miękka
common.buy 597.58 zł
The Rip 2026 Rian Marlowe / Książka Miękka
common.buy 62.92 zł
Betty Zane Zane Grey / Książka Miękka
common.buy 78.08 zł
Six Key Approaches to Counselling and Therapy Richard Nelson-Jones / Książka Twarda
common.buy 510.36 zł
Reformation in Germany C. Scott Dixon / Książka Twarda
common.buy 510.86 zł
Taking Stock John David Stewart / Książka Miękka
common.buy 164.49 zł
It'll All Be Wrong on the Night Reginald Frary / Książka Miękka
common.buy 49.77 zł
Role of the International Community in Domestic Politics Tsitsi Muvunzi / Książka Miękka
common.buy 106.18 zł
Critical Introduction to Fictionalism KOON FREDRICK / Książka Miękka
common.buy 183.96 zł
Zapowiedź
African Women's Report United Nations: Economic Commission for Africa / Książka Miękka
common.buy 193.20 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?