Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01650641
Price: 221.48 PLN
Availability: InStock
Author: Zhiming Liu
ISBN: 9783642047602

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Zhiming Liu

Anders P. Ravn

Język

Angielski

Książka Miękka

Kod Libristo: 01650641

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 2009

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for... Cały opis

Kod Libristo: 01650641

125 b

221.48 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Vitae Paparum Avenionensium V3 (1921) Etienne Baluze

Miękka

188.28 zł

#dkinfografik. Management einfach erklärt Alexandra Black

Twarda

72.67 zł

Ouroboros Joel Gissy

Miękka

29.02 zł

uomo blu e le rose. Antoine de Saint-Exupéry ad Alghero Savina Dolores Massa

Twarda

127.89 zł

Adventní kalendář – Minecraft

Twarda

108.91 zł

The Call of the Wild (Spanish Edition) / La llamada de lo Salvaje Jack London

Twarda

56.73 zł

Le Petit livre des proverbes, 2e éd. Sylvie H. Brunet

Miękka

26.79 zł

Пересвет Виктор Поротников

Twarda

71.35 zł

Arcobaleni Yasunari Kawabata

Miękka

63.94 zł

Serie estampar con selllos nº 1. CREAR ORIGINALES SELLOS CON TACOS DE MADERA Y G HEIKE ROLAND

Miękka

31.15 zł

Graues Meer und blaue Sonnen Nathan Jaeger

Miękka

52.98 zł

Terradentro XOSE BENITO REZA

Miękka

101.19 zł

Musik-Stars - Grundwissen 3./4. Schuljahr - Übungsheft mit Lösungen und Audio-CD Solveig Wezel

Miękka

52.77 zł

Obrázková němčina 5 jídlo Petr Kupka

Książka

4.05 zł

Inklusion und Exklusion in der Sozialen Arbeit Roland Merten

Miękka

268.58 zł

Contemporary Sculpture II : worked stone Inez Gitzinger-Albrecht

Miękka

118.65 zł

Mito del Trabajo En Equipo Eugenio Ramírez

Miękka

225.54 zł

(ADHS) bei arabischen Kindern im Grundschulalter in Berlin Hanan Lattouf

Miękka

266.95 zł

Kooperation in Der Erwachsenenbildung: Determinanten, Auspr gungen Und Leistung Elvira Helmer

Miękka

227.46 zł

Hindi-Großstadtgeschichten, m. MP3-CD Hannelore Lötzke

Miękka

81.50 zł

Georgische Verbtabellen Steffi Chotiwari-Jünger

Miękka

93.38 zł

La femme de trente ans./Die Drau von dreissig Jahren. German Honoré de Balzac

Twarda

88.20 zł

Matematika pro 5. ročník ZŠ 2.díl Jaroslava Justová

Miękka

12.17 zł

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. §The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. §The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Automated Technology for Verification and Analysis

Autor Zhiming Liu, Anders P. Ravn

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2009

Liczba stron 414

EAN 9783642047602

ISBN 3642047602

Kod Libristo 01650641

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 652

Wymiary 155 x 235 x 24

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

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ć

Decision Making in Radiation Oncology Jiade J. Lu

Twarda

1 054.74 zł

Design Characteristics of Virtual Learning Environments Daniel Müller

Miękka

221.48 zł

SUPERCLASS David Rothkopf

Miękka

96.02 zł

Bosnia's Paralysed Peace Christopher Bennett

Miękka

109.31 zł

Cone Penetration Testing in Geotechnical Practice P.K. Robertson

Twarda

2 327.62 zł

Security, Development and the Fragile State Yiagadeesen Samy

Twarda

1 015.76 zł

Defiance: Fall of an Empire Tom Ryker

Miękka

78.86 zł

Price Behaviour of Major Crops in Bangladesh: An Empirical Analysis Shakila Salam

Miękka

259.74 zł

Historical Notices of the Edifice Called the King's Manor, Situate Near the Walls of the City of York. [an Offprint from the Twenty-Ninth Report of th Anthony Buckle

Miękka

60.59 zł