Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

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 125 b
219.15 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Le Barman du Ritz Philippe Collin / Książka Miękka
common.buy 122.32 zł
Juste un regard Harlan Coben / Książka Miękka
common.buy 114.49 zł
Wechselkröte Ana Marwan / Książka Twarda
common.buy 97.31 zł
Kniha hlavolamů s mapami měst a zemí Philip Kiefer / Książka Twarda
common.buy 48.40 zł
Imbricaciones Mancini / Książka Miękka
common.buy 148.64 zł
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt / Książka Miękka
common.buy 279.81 zł
Čepiec Katarína Kucbelová / Książka Twarda
common.buy 55.23 zł
Cours Complet Par Correspondance. Tome 15 / Książka Miękka
common.buy 58.04 zł
Frost Thomas Bernhard / Książka Miękka
common.buy 53.83 zł
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Książka Miękka
common.buy 160.59 zł
Gesänge der Liebe Hans-Peter Kolb / Książka Twarda
common.buy 98.52 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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

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

Mogłoby Cię także zainteresować

Verified Software: Theories, Tools, Experiments Natarajan Shankar / Książka Miękka
common.buy 219.15 zł
Toward the Critique of Violence Peter Fenves / Książka Miękka
common.buy 99.52 zł
Snohetta: Collective Intuition SN HETTA / Książka Twarda
common.buy 253.80 zł
Thoughts On Science, Theology And Ethics John Wilson / Książka Miękka
common.buy 114.09 zł
Zapowiedź
Dress-Up Doodles / Książka Miękka
common.buy 23.69 zł
Senate, Telephone Directory: 2016 Senate (U S ) Sergeant at Arms / Książka Miękka
common.buy 208.30 zł
Start a Business: How to Work from Home Generating Passive Income Selling Online Courses T Whitmore / Książka Miękka
common.buy 64.47 zł
Michael Jackson: The Last Dance: How Harlem Remembered Michael Jackson Frederick Monderson / Książka Miękka
common.buy 81.85 zł
After Atlas Emma Newman / Książka Miękka
common.buy 120.62 zł
Grady's Tour: Lieutenant John Grady's Tour of Duty In Korean War John H Gallagher / Książka Miękka
common.buy 93.40 zł
Sylvie and the Christmas Ghost Foxglove Lee / Książka Miękka
common.buy 62.96 zł
What I Think Happened Evany Rosen / Książka Miękka
common.buy 62.96 zł
All Downhill From Here Paul Waters / Książka Miękka
common.buy 49.91 zł
Flower Mandalas Adult Coloring Book: Adult Coloring Book Featuring Beautiful Mandalas Designed to Soothe the Soul Flower Mandalas Publishing / Książka Miękka
common.buy 39.96 zł
What's a Lady Got to Do to Fulfill Her Life? Felicity Talisman / Książka Miękka
common.buy 70.30 zł
David Hockney. My Window Hockney / Książka Twarda
common.buy 58.04 zł
Nowość
TRICKY BUSINESS OF FAERIE BARGAINS MCCARTY REENA / Książka Miękka
common.buy 66.98 zł
One Day I Will Write About This Place Binyavanga Wainaina / Książka Miękka
common.buy 45.89 zł
Nuclear Energy Nicholas Tsoulfanidis / Książka Twarda
common.buy 957.87 zł
Prehistory of South America Jerry D Moore / Książka Miękka
common.buy 216.54 zł
Scepter of Reason R. Gargarella / Książka Twarda
common.buy 219.15 zł
Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography Joel A DeLisa / Książka Miękka
common.buy 407.77 zł
Shakespeare Survey: Volume 54, Shakespeare and Religions Peter Holland / Książka Miękka
common.buy 284.73 zł
Case Studies on Digital Government Bruce Rocheleau / Książka Twarda
common.buy 466.33 zł

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?