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ć

Applied Formal Methods - FM-Trends 98

Język AngielskiAngielski
Książka Miękka
Książka Applied Formal Methods - FM-Trends 98 Dieter Hutter
Kod Libristo: 01567090
Wydawnictwo Springer, Berlin, listopad 1998
This book constitutes the thoroughly refereed post-workshop proceedings of the International Worksho... 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ć

Dan Young Nebezpečí odjinud Jaroslav Velinský / Miękka
common.buy 25.88 zł
Literarisches Lernen im Anfangsunterricht Anja Pompe / Miękka
common.buy 76.95 zł
Effects of Acid Precipitation on Terrestrial Ecosystems Thomas C. Hutchinson / Twarda
common.buy 494.64 zł
Gods Mercy Mixed with His Justice John Cotton / Twarda
common.buy 171.30 zł
Computer Science and Its Applications Abdelmalek Amine / Miękka
common.buy 440.46 zł
Nanoscaled Semiconductor-on-Insulator Structures and Devices Steve Hall / Twarda
common.buy 1 027.37 zł
Human Cell Transformation Johng S. Rhim / Twarda
common.buy 795.58 zł
Histoire de l'Abbaye Royale de Saint-Pierre de Jumieges. Tome 2 Mabillon-J / Miękka
common.buy 114.83 zł
Laber - Rynstetten Wolfgang Stammler / Twarda
common.buy 1 218.17 zł

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshopon Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998.The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields.

Informacje o książce

Pełna nazwa Applied Formal Methods - FM-Trends 98
Autor Dieter Hutter, Werner Stephan, Paolo Traverso
Język Angielski
Oprawa Książka - Miękka
Data wydania 1999
Liczba stron 384
EAN 9783540664628
ISBN 3540664629
Kod Libristo 01567090
Wydawnictwo Springer, Berlin
Waga 564
Wymiary 156 x 234 x 20

Kategoria

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
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

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