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ć

Modular Specification and Verification of Object-Oriented Programs

Język AngielskiAngielski
Książka Miękka
Książka Modular Specification and Verification of Object-Oriented Programs Peter Müller
Kod Libristo: 01564071
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2002
This book presents new techniques for the formal specification and verification of object-oriented s... 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ć

Frost Thomas Bernhard / Miękka
common.buy 45.17 zł
One Day I Will Write About This Place Binyavanga Wainaina / Miękka
common.buy 46.97 zł
Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography Joel A DeLisa / Miękka
common.buy 429.77 zł
Juste un regard Harlan Coben / Miękka
common.buy 115.83 zł
European Union Treaties / Twarda
common.buy 1 099.83 zł
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Miękka
common.buy 162.81 zł
Verified Software: Theories, Tools, Experiments Natarajan Shankar / Miękka
common.buy 262.26 zł
High Notes and Low Ray W Moore / Miękka
common.buy 89.04 zł
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt / Miękka
common.buy 282.54 zł
Scepter of Reason R. Gargarella / Twarda
common.buy 262.26 zł
Case Studies on Digital Government Bruce Rocheleau / Twarda
common.buy 500.24 zł
Hämmern, Bohren, Bauen! Daniela Prusse / Leporelo
common.buy 59.06 zł
Gesänge der Liebe Hans-Peter Kolb / Twarda
common.buy 100.44 zł
Nuclear Energy Nicholas Tsoulfanidis / Twarda
common.buy 1 000.98 zł

This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.

Informacje o książce

Pełna nazwa Modular Specification and Verification of Object-Oriented Programs
Autor Peter Müller
Język Angielski
Oprawa Książka - Miękka
Data wydania 2002
Liczba stron 298
EAN 9783540431671
ISBN 3540431675
Kod Libristo 01564071
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 970
Wymiary 155 x 235 x 17

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Programowanie obiektowe
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
Medycyna i opieka zdrowotna > Medycyna – zagadnienia ogólne
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