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

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

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

30 dni na zwrot towaru

Klienci kupili także

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Książka Miękka
common.buy 105.53 zł
Arkham Horror: Lovecraft Letter Zman / Gra/Zabawka Gra
common.buy 73.96 zł
Textes et Monuments Figures Relatifs aux Mysteres de Mithra, Tome Premier Franz Valery Marie Cumont / Książka Miękka
common.buy 145.02 zł
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Książka Miękka
common.buy 106.73 zł
Handbuch Alzheimer-Krankheit Frank Jessen / E-book Adobe ePub DRM
common.buy 650.06 zł
Tierna obsesion Marisa Estrada Barquet / Książka Miękka
common.buy 51.41 zł
Patron Oro Calderon Ivan Calderon / Książka Miękka
common.buy 55.31 zł
Luz Herrera Goya / Książka Miękka
common.buy 50.50 zł
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Książka Miękka
common.buy 75.56 zł
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Książka Miękka
common.buy 38.98 zł
Una storia dovunque Prezioso Sclano / Książka Miękka
common.buy 64.94 zł
Ley de Contratos / Książka Miękka
common.buy 114.75 zł
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Książka Miękka
common.buy 244.95 zł
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Audio CD Audio
common.buy 53.51 zł
Nuove storie d'ogni colore Emilio De Marchi / Książka Miękka
common.buy 57.22 zł
Mehrkomponentenvertrage Benedikt Weisser / Książka Miękka
common.buy 143.82 zł
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Książka Twarda
common.buy 109.14 zł
Un éternel prisonnier Dominique Henry / Książka Miękka
common.buy 83.78 zł
AEsthetik nach Wittgenstein Yves Bossart / Książka Twarda
common.buy 735.26 zł
Primiracconti Luisa Brisi / Książka Miękka
common.buy 25.55 zł

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

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 Orna Grumberg
Język Angielski
Oprawa Książka - Miękka
Data wydania 1997
Liczba stron 492
EAN 9783540631668
ISBN 3540631666
Kod Libristo 05274713
Wydawnictwo Springer, Berlin
Waga 654
Wymiary 156 x 234 x 25

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
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
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ć

Embedded Software and Systems Man Lin / Książka Miękka
common.buy 484.79 zł
Advances in Exception Handling Techniques Alexander Romanovsky / Książka Miękka
common.buy 218.69 zł
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Książka Miękka
common.buy 133.79 zł
Tessili Rogue Robin Stephen / Książka Miękka
common.buy 39.88 zł
Impinging Streams Sakamon Devahastin / Książka Miękka
common.buy 253.87 zł
Pennycomequicks. a Novel. Sabine Baring-Gould / Książka Miękka
common.buy 97.11 zł
Clasicos Modernos ANA MARIA MATUTE / Książka Miękka
common.buy 51.11 zł
Getting to Grips with BIM Graham Paterson / Książka Miękka
common.buy 318.41 zł
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Książka Miękka
common.buy 70.85 zł
Degree Gradation of Verbs Jens Fleischhauer / Książka Miękka
common.buy 168.27 zł
Extremism And Reformation David Myatt / Książka Miękka
common.buy 32.36 zł
Chinese Culture in Globalization Rugang Lu / Książka Miękka
common.buy 211.47 zł
The Lay of Lirazel Stephen R Babb / Książka Miękka
common.buy 55.31 zł
Talks James E. Potter / Książka Miękka
common.buy 93.20 zł
Speed of Light and the Simplicity RICHARD CLOUGH / Książka Twarda
common.buy 126.18 zł
Belief and Evangelism DOUGLAS VICKERS / Książka Twarda
common.buy 138.40 zł
TOP
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Książka Pierścieniowa
common.buy 91.70 zł
Running the Show Gill / Książka Miękka
common.buy 251.96 zł
Narrating the Rise of Big Business in the USA Anne Mayhew / Książka Twarda
common.buy 1 038.85 zł
Mathematical Puzzles Peter Winkler / Książka Miękka
common.buy 156.04 zł
Anglais - pour s'amuser à parler anglais ! Stéphanie Bioret / Książka Miękka
common.buy 55.12 zł
Cat Got Your Tongue? SHAW HANNAH / Książka Twarda
common.buy 51.91 zł
Selections with Key Clare West / Książka Miękka
common.buy 101.42 zł
Grammar and Style Michael Dummett / Książka Miękka
common.buy 140.61 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