Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Modular Specification and Verification of Object-Oriented Programs

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Modular Specification and Verification of Object-Oriented Programs Peter Müller
Libristo kód: 01564071
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, leden 2002
This book presents new techniques for the formal specification and verification of object-oriented s... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Le Barman du Ritz Philippe Collin / Kniha Brožovaná
common.buy 607 Kč
Kniha hlavolamů s mapami měst a zemí Philip Kiefer / Kniha Pevná
common.buy 279 Kč
Gesänge der Liebe Hans-Peter Kolb / Kniha Pevná
common.buy 529 Kč
Wechselkröte Ana Marwan / Kniha Pevná
common.buy 555 Kč
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Kniha Brožovaná
common.buy 865 Kč
Imbricaciones Mancini / Kniha Brožovaná
common.buy 848 Kč
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt / Kniha Brožovaná
common.buy 1 507 Kč
Juste un regard Harlan Coben / Kniha Brožovaná
common.buy 653 Kč
Čepiec Katarína Kucbelová / Kniha Pevná
common.buy 289 Kč
Cours Complet Par Correspondance. Tome 15 / Kniha Brožovaná
common.buy 315 Kč
Frost Thomas Bernhard / Kniha Brožovaná
common.buy 289 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Modular Specification and Verification of Object-Oriented Programs
Autor Peter Müller
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 298
EAN 9783540431671
ISBN 3540431675
Libristo kód 01564071
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 970
Rozměry 155 x 235 x 17

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Objektově orientované programování (OOP)
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Medicína a ošetřovatelství > Medicína: obecná témata
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Verified Software: Theories, Tools, Experiments Natarajan Shankar / Kniha Brožovaná
common.buy 1 182 Kč
Toward the Critique of Violence Peter Fenves / Kniha Brožovaná
common.buy 538 Kč
What I Think Happened Evany Rosen / Kniha Brožovaná
common.buy 339 Kč
Thoughts On Science, Theology And Ethics John Wilson / Kniha Brožovaná
common.buy 619 Kč
Připravujeme
Dress-Up Doodles / Kniha Brožovaná
common.buy 126 Kč
Start a Business: How to Work from Home Generating Passive Income Selling Online Courses T Whitmore / Kniha Brožovaná
common.buy 350 Kč
After Atlas Emma Newman / Kniha Brožovaná
common.buy 688 Kč
Grady's Tour: Lieutenant John Grady's Tour of Duty In Korean War John H Gallagher / Kniha Brožovaná
common.buy 506 Kč
Sylvie and the Christmas Ghost Foxglove Lee / Kniha Brožovaná
common.buy 340 Kč
Snohetta: Collective Intuition SN HETTA / Kniha Pevná
common.buy 1 358 Kč
All Downhill From Here Paul Waters / Kniha Brožovaná
common.buy 271 Kč
Flower Mandalas Adult Coloring Book: Adult Coloring Book Featuring Beautiful Mandalas Designed to Soothe the Soul Flower Mandalas Publishing / Kniha Brožovaná
common.buy 217 Kč
What's a Lady Got to Do to Fulfill Her Life? Felicity Talisman / Kniha Brožovaná
common.buy 381 Kč
David Hockney. My Window Hockney / Kniha Pevná
common.buy 352 Kč
Nové
TRICKY BUSINESS OF FAERIE BARGAINS MCCARTY REENA / Kniha Brožovaná
common.buy 358 Kč
Penetration Testing with Raspberry Pi Aamir Lakhani / Kniha Brožovaná
common.buy 795 Kč
High Notes and Low Ray W Moore / Kniha Brožovaná
common.buy 460 Kč
Case Studies on Digital Government Bruce Rocheleau / Kniha Pevná
common.buy 2 547 Kč
One Day I Will Write About This Place Binyavanga Wainaina / Kniha Brožovaná
common.buy 227 Kč
Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography Joel A DeLisa / Kniha Brožovaná
common.buy 2 326 Kč
Scepter of Reason R. Gargarella / Kniha Pevná
common.buy 1 182 Kč
Nuclear Energy Nicholas Tsoulfanidis / Kniha Pevná
common.buy 5 464 Kč
Připravujeme
Shiver Stone Sharon Tregenza / Kniha Brožovaná
common.buy 174 Kč
Shakespeare Survey: Volume 54, Shakespeare and Religions Peter Holland / Kniha Brožovaná
common.buy 1 624 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?