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ł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Formal Methods for Components and Objects

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods for Components and Objects Elena Giachino
Kod Libristo: 02016940
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 2013
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and... Cały opis
? points 140 b
239.62 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ć

A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems. Rasmus Adler / Miękka
common.buy 182.70 zł
Defense of Abortion David Boonin / Miękka
common.buy 140.90 zł
Captive Audience Susan P Crawford / Miękka
common.buy 134.19 zł
Fallorientierte Didaktik Elisabeth Enengl / Miękka
common.buy 190.81 zł
Tod am Maschteich Marion Griffiths-Karger / Miękka
common.buy 45.89 zł
Der Schrei Ins Leben Elke Blessing / Miękka
common.buy 172.67 zł
Hütchen aus der Eiche Gerhard Stadler / Twarda
common.buy 78.06 zł
Advances in Web-Based Learning - ICWL 2004 Wenyin Liu / Miękka
common.buy 262.97 zł

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. §The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

Informacje o książce

Pełna nazwa Formal Methods for Components and Objects
Autor Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 241
EAN 9783642406140
ISBN 3642406149
Kod Libristo 02016940
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 3869
Wymiary 155 x 235 x 15

Kategoria

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

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