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 and Software Engineering

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods and Software Engineering Jim Davies
Kod Libristo: 01560067
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2004
This book constitutes the refereed proceedings of the 6th International Conference on Formal Enginee... Cały opis
? points 304 b
517.33 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ć

Egyptology Wayne Anderson / Twarda
common.buy 115.13 zł
Génius i popleta Denise Fenziová / Twarda
common.buy 41.07 zł
2012, Das Bewusstsein der Neuen Zeit Lee Carroll / Twarda
common.buy 68.95 zł
European Renaissance 1400-1600 Robin Kirkpatrick / Miękka
common.buy 156.01 zł
The Power of Choices Tracy A. Medling / Miękka
common.buy 46.87 zł
Talking to God Thomas L Constable / Miękka
common.buy 96.24 zł
Computer Chemistry Ivar Ugi / Miękka
common.buy 262.26 zł
Corporate Environmental Strategy and Competitive Advantage Sanjay Sharma / Twarda
common.buy 617.97 zł
Clinical Problem of Masochism Deanna Holtzman / Twarda
common.buy 593.59 zł
Elektrotechnische Messkunde Paul Benjamin Arthur Linker / Miękka
common.buy 285.44 zł
New Houses in Asia Publishing Images / Twarda
common.buy 160.91 zł
History of Greek Philosophy: Volume 4, Plato: The Man and his Dialogues: Earlier Period W. K. C. Guthrie / Twarda
common.buy 1 205.27 zł
Esos Rincones Profundos De Mi Alma Georgina Ma Chahin / Miękka
common.buy 60.76 zł
Stressed Composite Structures Alexander G. Kolpakov / Twarda
common.buy 517.33 zł
Menschliche Bewusstsein und der Hypertext - ein Strukturvergleich Anton Freibacher / Miękka
common.buy 178.70 zł
Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer / Miękka
common.buy 153.11 zł

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.§The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

Informacje o książce

Pełna nazwa Formal Methods and Software Engineering
Autor Jim Davies, Wolfram Schulte, Mike Barnett
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 500
EAN 9783540238416
ISBN 3540238417
Kod Libristo 01560067
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1590
Wymiary 155 x 235 x 28

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