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

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Ed Brinksma
Kod Libristo: 01564506
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... Cały opis
? points 249 b
435.98 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909 / Książka Miękka
common.buy 122.77 zł
Tiere und ihr Zuhause Claudia Boldt / Gra/Zabawka Gra
common.buy 60.33 zł
¡De vacaciones! PETER KNORR / Książka Miękka
common.buy 71.35 zł
O Livro de Metatron - O Anjo da Presença Max Stone / Książka Miękka
common.buy 65.94 zł
Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins / Książka Miękka
common.buy 31.16 zł
Čeho bychom se měli obávat? John Brockman / Książka Miękka
common.buy 51.21 zł
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Książka Miękka
common.buy 144.82 zł
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Gra/Zabawka Gra
common.buy 180.00 zł
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Książka Miękka
common.buy 297.97 zł
20.000 leguas de viaje submarino Jules Verne / Książka Twarda
common.buy 60.53 zł
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Książka Miękka
common.buy 158.35 zł
Lean Management Andreas Kammel / Książka Miękka
common.buy 180.00 zł
Journal Martin du Gard / Książka Twarda
common.buy 297.56 zł
Magdeburger Drogenmarkt Sven Paschke / Książka Miękka
common.buy 143.82 zł
Cocktails Manuela Eder / Książka Twarda
common.buy 24.14 zł
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Książka Twarda
common.buy 94.60 zł
Abenteuer des schwarzen Gerard 2 Karl May / Książka Twarda
common.buy 113.35 zł
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Książka Twarda
common.buy 132.39 zł

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

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 Ed Brinksma, Kim G. Larsen
Język Angielski
Oprawa Książka - Miękka
Data wydania 2002
Liczba stron 362
EAN 9783540439974
ISBN 3540439978
Kod Libristo 01564506
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 2010
Wymiary 155 x 233 x 36

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ć

Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Książka Miękka
common.buy 59.32 zł
Introduction to Home Management Sandhya Rani Mohanty / Książka Miękka
common.buy 151.33 zł
TOP
Let's Find Momo! Andrew Knapp / Książka Leporelo
common.buy 40.38 zł
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Książka Twarda
common.buy 165.97 zł
SAXON MATH COURSE 1 Saxpub / Książka Twarda
common.buy 897.33 zł
Taste of Home How Do I Make...? Editors at Taste of Home / Książka Miękka
common.buy 70.85 zł
Under the Gaslight Augustin Daly / Książka Miękka
common.buy 53.31 zł
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Książka Miękka
common.buy 43.69 zł
Cheerleading Kaitlyn Duling / Książka Twarda
common.buy 139.91 zł
Pediatric Dysphagia Julina Ongkasuwan / Książka Twarda
common.buy 596.74 zł
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Książka Miękka
common.buy 51.21 zł
Housing in Taiwan William D.H. Li / Książka Twarda
common.buy 731.25 zł
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Książka Miękka
common.buy 73.96 zł
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Książka Miękka
common.buy 123.47 zł
Hawaiian Chihuahua Ukulele Tabs / Książka Miękka
common.buy 39.68 zł
Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Książka Miękka
common.buy 843.81 zł
Sunkisses Larsee H Mac / Książka Miękka
common.buy 62.93 zł
TOP
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Książka Twarda
common.buy 88.29 zł
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Książka Miękka
common.buy 117.86 zł
Epic Drives of the World 1 Lonely planet eng / Książka Miękka
common.buy 67.84 zł
Inspired Winsome James / Książka Miękka
common.buy 74.36 zł
Crime for the Books Kate Young / E-book Adobe ePub DRM
common.buy 75.06 zł
TOP
Eden of Witches Volume 1 YUMEJI / Książka Miękka
common.buy 45.79 zł
Research Methods in Publishing and Book Studies Rachel Noorda / Książka Miękka
common.buy 249.26 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