phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr
Stimați clienți, din cauza zilei de sărbătoare, asistența pentru clienți nu este disponibilă astăzi. Ne vom ocupa de solicitările dumneavoastră în următoarea zi lucrătoare. Vă mulțumim pentru înțelegere.

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 161 b
320 lei
În depozitul extern în cantități mici Expediem în 12-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

One Day I Will Write About This Place Binyavanga Wainaina / Carte broșată
common.buy 58 lei
Frost Thomas Bernhard / Carte broșată
common.buy 59 lei
curând
Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography Joel A DeLisa / Carte broșată
common.buy 539 lei
European Union Treaties / Copertă tare
common.buy 1.352 lei
Hämmern, Bohren, Bauen! Daniela Prusse / Cărți pliante
common.buy 77 lei
Gesänge der Liebe Hans-Peter Kolb / Copertă tare
common.buy 131 lei
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Carte broșată
common.buy 221 lei
Verified Software: Theories, Tools, Experiments Natarajan Shankar / Carte broșată
common.buy 320 lei
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt / Carte broșată
common.buy 365 lei
High Notes and Low Ray W Moore / Carte broșată
common.buy 103 lei
Nuclear Energy Nicholas Tsoulfanidis / Copertă tare
common.buy 1.114 lei
Scepter of Reason R. Gargarella / Copertă tare
common.buy 320 lei
Case Studies on Digital Government Bruce Rocheleau / Copertă tare
common.buy 608 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.

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

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