Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 01567506
Price: 517.77 PLN
Availability: InStock

E. Allen Emerson

A. Prasad Sistla

Język

Angielski

Książka Miękka

Kod Libristo: 01567506

Wydawnictwo Springer, Berlin, listopad 1999

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Cały opis

Kod Libristo: 01567506

304 b

517.77 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Ephesians Frank S. Thielman

/ Twarda

174.55 zł

Get Going with Kindle Fire in Easy Steps Nick Vandome

/ Miękka

31.90 zł

Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel

/ Miękka

403.13 zł

Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo

/ Twarda

517.77 zł

Ruckkehr Der Zeitmaschine Egon Friedell

/ Twarda

229.27 zł

Phi Phi Island Josef Haslinger

/ Miękka

59.51 zł

Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch

/ Miękka

563.08 zł

Vogesen Curt Mundel

/ Miękka

277.48 zł

Plant Toxin Analysis Hans F. Linskens

/ Twarda

1 028.24 zł

Small Bodies in Planetary Systems I. Mann

/ Twarda

262.48 zł

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.

Informacje o książce

Pełna nazwa Computer Aided Verification

Autor E. Allen Emerson, A. Prasad Sistla

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2000

Liczba stron 590

EAN 9783540677703

ISBN 3540677704

Kod Libristo 01567506

Wydawnictwo Springer, Berlin

Waga 894

Wymiary 155 x 235 x 30

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

Medycyna i opieka zdrowotna > Medycyna – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Systemy operacyjne

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

Dostawa

Doradca ds. zakupów