phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 11.02 zł
phone Kontakt phoneJak kupować

Formal Methods: Applications and Technology

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods: Applications and Technology Lubos Brim
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
? points 154 b
262.26 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Wyprzedaż
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Twarda
common.buy 31.87 zł
Eye of the Wolf Daniel Pennac / Miękka
common.buy 33.37 zł
Aerodynamics of Low Reynolds Number Flyers Wei ShyyYongsheng LianJian TangDragos Viieru / Miękka
common.buy 273.05 zł
Terra magica Ostsee-Kreuzfahrt Christian Prager / Twarda
common.buy 89.04 zł
Business, Politics and International Relations Clemens WurmPatrick Salmon / Miękka
common.buy 218.68 zł
Ontologie und Dialektik Theodor W. Adorno / Miękka
common.buy 80.55 zł
Blut und Feuer Michael Gratzke / Miękka
common.buy 137.12 zł
Life Skills Matters Grade 1 Student's Book Erato-Nadia BizosPenny HansenMirna Lawrence / Miękka
common.buy 23.18 zł
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Miękka
common.buy 167.90 zł
Zapowiedź Nowość
Unbekanntes München Karl Häusler / Twarda
common.buy 62.66 zł
Flussschiffbau Wilhelm Teubert / Miękka
common.buy 619.97 zł
"Kominform-Konflikt 1948 - Jugoslawiens Revolte gegen Moskaus Hegemonie Damir Hajric / Miękka
common.buy 178.70 zł
Marked Point Processes on the Real Line Andreas Brandt / Twarda
common.buy 1 166.59 zł
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Twarda
common.buy 6 049.00 zł
Less Than Zero Stuart J. Murphy / Miękka
common.buy 24.88 zł
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Miękka
common.buy 312.23 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.

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

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