Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Modular Specification and Verification of Object-Oriented Programs

Limba englezăengleză
Carte Carte broșată
Carte Modular Specification and Verification of Object-Oriented Programs Peter Müller
Codul Libristo: 01564071
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ianuarie 2002
This book presents new techniques for the formal specification and verification of object-oriented s... Descrierea completă
? points 132 b
287.15 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Le Barman du Ritz Philippe Collin / Carte Carte broșată
common.buy 150.22 lei
Kniha hlavolamů s mapami měst a zemí Philip Kiefer / Carte Copertă tare
common.buy 63.85 lei
Gesänge der Liebe Hans-Peter Kolb / Carte Copertă tare
common.buy 129.70 lei
Dictionnaire Philosophi Voltaire / Carte Carte broșată
common.buy 67.30 lei
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Carte Carte broșată
common.buy 210.62 lei
Wechselkröte Ana Marwan / Carte Copertă tare
common.buy 119.65 lei
LEGO Ninjago. Staffel.5.2, 1 DVD Kevin Hageman / Videoclip DVD
common.buy 53.80 lei
Imbricaciones Mancini / Carte Carte broșată
common.buy 184.24 lei
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt / Carte Carte broșată
common.buy 419.26 lei
Si dieu est une femme elle est romanciere Chelsea Carte Carte broșată
common.buy 93.06 lei
Juste un regard Harlan Coben / Carte Carte broșată
common.buy 140.37 lei
Frost Thomas Bernhard / Carte Carte broșată
common.buy 70.86 lei
Čepiec Katarína Kucbelová / Carte Copertă tare
common.buy 68.66 lei
Cours Complet Par Correspondance. Tome 15 / Carte Carte broșată
common.buy 75.68 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Modular Specification and Verification of Object-Oriented Programs
Autor Peter Müller
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 298
EAN 9783540431671
ISBN 3540431675
Codul Libristo 01564071
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 970
Dimensiuni 155 x 235 x 17

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Verified Software: Theories, Tools, Experiments Natarajan Shankar / Carte Carte broșată
common.buy 287.15 lei
Tongue Drum Songbook for Beginner Helen Winter / Materiale tipărite Note muzicale
common.buy 97.87 lei
Toward the Critique of Violence Peter Fenves / Carte Carte broșată
common.buy 130.53 lei
Snohetta: Collective Intuition SN HETTA / Carte Copertă tare
common.buy 335.51 lei
Thoughts On Science, Theology And Ethics John Wilson / Carte Carte broșată
common.buy 148.86 lei
Dress-Up Doodles / Carte Carte broșată
common.buy 33.18 lei
What I Think Happened Evany Rosen / Carte Carte broșată
common.buy 82.59 lei
Software Failure Investigation Jan Eloff / Carte Copertă tare
common.buy 604.35 lei
Start a Business: How to Work from Home Generating Passive Income Selling Online Courses T Whitmore / Carte Carte broșată
common.buy 84.37 lei
Michael Jackson: The Last Dance: How Harlem Remembered Michael Jackson Frederick Monderson / Carte Carte broșată
common.buy 106.98 lei
After Atlas Emma Newman / Carte Carte broșată
common.buy 157.86 lei
Grady's Tour: Lieutenant John Grady's Tour of Duty In Korean War John H Gallagher / Carte Carte broșată
common.buy 122.06 lei
Sylvie and the Christmas Ghost Foxglove Lee / Carte Carte broșată
common.buy 82.17 lei
Senate, Telephone Directory: 2016 Senate (U S ) Sergeant at Arms / Carte Carte broșată
common.buy 277.10 lei
New Theory and Practice of Transactional Analysis in Organizations Sari Van Poelje / Carte Carte broșată
common.buy 242.86 lei
All Downhill From Here Paul Waters / Carte Carte broșată
common.buy 65.21 lei
Flower Mandalas Adult Coloring Book: Adult Coloring Book Featuring Beautiful Mandalas Designed to Soothe the Soul Flower Mandalas Publishing / Carte Carte broșată
common.buy 52.33 lei
What's a Lady Got to Do to Fulfill Her Life? Felicity Talisman / Carte Carte broșată
common.buy 91.59 lei
Top
David Hockney. My Window Hockney / Carte Copertă tare
common.buy 81.33 lei
TRICKY BUSINESS OF FAERIE BARGAINS MCCARTY REENA / Carte Carte broșată
common.buy 88.24 lei
Thailand Philippe Benet / Carte Carte broșată
common.buy 31.19 lei
High Notes and Low Ray W Moore / Carte Carte broșată
common.buy 108.13 lei
Case Studies on Digital Government Bruce Rocheleau / Carte Copertă tare
common.buy 554.83 lei
One Day I Will Write About This Place Binyavanga Wainaina / Carte Carte broșată
common.buy 60.60 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?