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

Formal Methods: Applications and Technology

Name: Formal Methods: Applications and Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568175
Price: 219.15 PLN
Availability: InStock
Author: Lubos Brim
ISBN: 9783540709510

11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Sel

Język

Angielski

Książka Miękka

Kod Libristo: 01568175

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

This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Cały opis

Kod Libristo: 01568175

125 b

219.15 zł

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

30 dni na zwrot towaru

Klienci kupili także

Bourvil Mareska

Miękka

101.83 zł

Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade

Twarda

34.74 zł

Terra magica Ostsee-Kreuzfahrt Christian Prager

Twarda

83.45 zł

Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle

Miękka

72.61 zł

Correspondance de Champ Libre T. 1 collegium

Miękka

63.06 zł

Direkt plus 3B. Podręcznik praca zbiorowa

Miękka

40.67 zł

Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau

Miękka

113.99 zł

Rozdělení Československa 1989-1992 Jan Rychlík

Twarda

100.13 zł

Flussschiffbau Wilhelm Teubert

Miękka

369.90 zł

Ontologie und Dialektik Theodor W. Adorno

Miękka

83.76 zł

Der Einarmige, sein Alligator und die sonnigen Seiten des Lebens Ken Pisani

Adobe ePub DRM

48.90 zł

¿Puedo mirar tu chupete? Guido van Genechten

Twarda

61.56 zł

Zápisník s gumičkou A4 210x290 mm africké masky

binding.

36.95 zł

Blut und Feuer Michael Gratzke

Miękka

129.15 zł

Die Filmdeutung als Weg zum Selbst Otto Teischel

Twarda

241.54 zł

Reliéfní pasta 3D IZINK - geranium, růžová, 80 ml

Artykuły papiernicze

24.70 zł

In Auschwitz Sima Vaisman

Twarda

75.22 zł

Capilla de San Roque y Su Viejo Hospital de San Roque y La Asuncion Nancy Elizabeth Juncos

Miękka

147.93 zł

Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf

Miękka

309.44 zł

Unsere Erde - Gymnasium Baden-Württemberg - 9./10. Schuljahr Henriette Dieterle

Twarda

168.83 zł

Niebla Miguel De Unamuno

Miękka

59.05 zł

Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman

Miękka

65.78 zł

Die blinden Flecken der RAF Wolfgang Kraushaar

Twarda

89.78 zł

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

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 Formal Methods: Applications and Technology

Autor Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2007

Liczba stron 366

EAN 9783540709510

ISBN 3540709517

Kod Libristo 01568175

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

Waga 575

Wymiary 155 x 235 x 22

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 > 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) > Analiza systemowa i projektowanie

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ć

Enterprise Architecture Martin Op't Land

Miękka

244.06 zł

Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove

Twarda

5 792.07 zł

International Comparisons of Energy Consumption Joy Dunkerley

Miękka

238.03 zł

Principles of Protein-Protein Association Harold Erickson

Twarda

706.47 zł

Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille

Miękka

162.30 zł

Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston

Miękka

78.13 zł

Madison Lexy Timms

Miękka

43.78 zł

Official History of Australia in the War of 1914-1918 C. E. W. BEAN

Miękka

271.07 zł

Courts-Martial Amendments to Articles of War. Hearing Before a Special Subcommittee of the Committee on Military Affairs House of Representatives Sixt E H Crowder

Miękka

53.62 zł