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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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
284.91 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 151.02 lei
Juste un regard Harlan Coben / Carte Carte broșată
common.buy 141.25 lei
Wechselkröte Ana Marwan / Carte Copertă tare
common.buy 120.06 lei
Kniha hlavolamů s mapami měst a zemí Philip Kiefer / Carte Copertă tare
common.buy 63.35 lei
Imbricaciones Mancini / Carte Carte broșată
common.buy 183.43 lei
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt / Carte Carte broșată
common.buy 364.27 lei
Čepiec Katarína Kucbelová / Carte Copertă tare
common.buy 68.13 lei
Cours Complet Par Correspondance. Tome 15 / Carte Carte broșată
common.buy 75.09 lei
Frost Thomas Bernhard / Carte Carte broșată
common.buy 70.31 lei
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Carte Carte broșată
common.buy 208.98 lei
Gesänge der Liebe Hans-Peter Kolb / Carte Copertă tare
common.buy 128.69 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 284.91 lei
Tongue Drum Songbook for Beginner Helen Winter / Carte Carte broșată
common.buy 95.55 lei
Toward the Critique of Violence Peter Fenves / Carte Carte broșată
common.buy 129.52 lei
Snohetta: Collective Intuition SN HETTA / Carte Copertă tare
common.buy 332.90 lei
Thoughts On Science, Theology And Ethics John Wilson / Carte Carte broșată
common.buy 147.70 lei
Curând
Dress-Up Doodles / Carte Carte broșată
common.buy 31.15 lei
Senate, Telephone Directory: 2016 Senate (U S ) Sergeant at Arms / Carte Carte broșată
common.buy 271.93 lei
Start a Business: How to Work from Home Generating Passive Income Selling Online Courses T Whitmore / Carte Carte broșată
common.buy 83.71 lei
Michael Jackson: The Last Dance: How Harlem Remembered Michael Jackson Frederick Monderson / Carte Carte broșată
common.buy 106.15 lei
After Atlas Emma Newman / Carte Carte broșată
common.buy 156.63 lei
Grady's Tour: Lieutenant John Grady's Tour of Duty In Korean War John H Gallagher / Carte Carte broșată
common.buy 121.11 lei
Sylvie and the Christmas Ghost Foxglove Lee / Carte Carte broșată
common.buy 81.53 lei
What I Think Happened Evany Rosen / Carte Carte broșată
common.buy 81.94 lei
All Downhill From Here Paul Waters / Carte Carte broșată
common.buy 64.70 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 51.93 lei
What's a Lady Got to Do to Fulfill Her Life? Felicity Talisman / Carte Carte broșată
common.buy 90.88 lei
Top
David Hockney. My Window Hockney / Carte Copertă tare
common.buy 90.67 lei
Nou
TRICKY BUSINESS OF FAERIE BARGAINS MCCARTY REENA / Carte Carte broșată
common.buy 87.55 lei
One Day I Will Write About This Place Binyavanga Wainaina / Carte Carte broșată
common.buy 60.34 lei
Nuclear Energy Nicholas Tsoulfanidis / Carte Copertă tare
common.buy 1 181.95 lei
Scepter of Reason R. Gargarella / Carte Copertă tare
common.buy 284.91 lei
Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography Joel A DeLisa / Carte Carte broșată
common.buy 531.92 lei
Shakespeare Survey: Volume 54, Shakespeare and Religions Peter Holland / Carte Carte broșată
common.buy 369.67 lei
Case Studies on Digital Government Bruce Rocheleau / Carte Copertă tare
common.buy 599.64 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?