phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.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 Frank S. de Boer
Kod Libristo: 01562395
Wydawnictwo Springer, Berlin, listopad 2005
This book presents 19 revised invited keynote lectures and revised tutorial lectures given at the 4t... Cały opis
? points 154 b
262.48 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Ja genau! Claudia Böschel / Miękka
common.buy 86.92 zł
Person - An Introduction to the Science of Personality Psychology, 5e Dan P. McAdams / Twarda
common.buy 982.63 zł
Drachenbrut Naomi Novik / Miękka
common.buy 45.20 zł
Käsebier erobert den Kurfürstendamm Gabriele Tergit / Twarda
common.buy 87.62 zł
Teaching Modern Foreign Languages at Advanced Level Norbert Pachler / Miękka
common.buy 266.78 zł
Imagine That! Kenneth S. Cohen / Miękka
common.buy 64.91 zł
Schutz vor Diskriminierungen im Europäischen Arbeitsrecht. Die Rahmenrichtlinie 2000/78/EG vom 27. November 2000 - Religion, Weltanschauung, Behinderu Jochen Mohr / Miękka
common.buy 563.58 zł
Child's Calendar (20th Anniversary Edition) John Updike / Twarda
common.buy 67.81 zł
Many Cargoes W. W. Jacobs / Miękka
common.buy 109.73 zł
Tachykinin Receptors Stephen H. Buck / Twarda
common.buy 796.26 zł
Hopes and Triumphs of the Amir Sisters NADIYA HUSSAIN / Miękka
common.buy 42.40 zł
Explosivstoffe Josef Köhler / Twarda
common.buy 820.17 zł
Digital Media and Society - An Introduction Adrian Athique / Twarda
common.buy 375.72 zł
Sozialkapital und Kooperation Kai Riemer / Miękka
common.buy 439.84 zł

This book presents 19 revised invited keynote lectures and revised tutorial lectures given at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, Amsterdam, November 2005. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.

Informacje o książce

Pełna nazwa Formal Methods for Components and Objects
Autor Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Język Angielski
Oprawa Książka - Miękka
Data wydania 2006
Liczba stron 429
EAN 9783540367499
ISBN 3540367497
Kod Libristo 01562395
Wydawnictwo Springer, Berlin
Waga 662
Wymiary 156 x 234 x 22

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