Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

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

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 DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Verification of Object-Oriented Software. The KeY Approach

Name: Verification of Object-Oriented Software. The KeY Approach
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567799
Price: 569.26 RON
Availability: InStock
Author: Bernhard Beckert
ISBN: 9783540689775

Foreword by K. Rustan M. Leino

Bernhard Beckert

Reiner Hähnle

Peter H. Schmitt

Limba

engleză

Carte Carte broșată

Codul Libristo: 01567799

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ianuarie 2007

The ultimate goal of program verification is not the theory behind the tools or the tools themselves... Descrierea completă

Codul Libristo: 01567799

263 b

569.26 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Love is an illusion! Fargo

Carte broșată

78.65 lei

Droomhuisavonture Lauren O'Connor-May

Adobe ePub DRM

42.65 lei

WIND BREAKER 1 (MANGA VO JAPONAIS) NII SATORU

Carte broșată

68.04 lei

Código ELE 3 Pracovní sešit Jiménez Santamaría Alicia

Copertă tare

69.81 lei

Dáme gól! Clive Gifford

Carte broșată

24.23 lei

Zurück In Die 90s Vol. 2

Audio CD

98.32 lei

Hello Ruby Linda Liukas

Adobe ePub DRM

103.83 lei

Die Feuerinseln Richard Schwartz

Carte broșată

88.23 lei

Gettare Oltre Lo Sguardo Andrea Aroldi

Copertă tare

160.75 lei

ENDODONTISCHE MISSGESCHICKE R. Vinaychandra

Carte broșată

271.67 lei

Los rostros de la homosexualidad. Una mirada desde el escenario.

Carte

119.34 lei

Hello, English! – ZOO, Safari

Carte broșată

4.98 lei

Baudelaire Kopp

Carte broșată

108.52 lei

Outlander 5. - A lángoló kereszt 2/1. kötet - puha kötés Diana Gabaldon

Copertă tare

70.43 lei

Dvadtsiati-Sorokovi Roky V Ukrains'ki Literaturi Oleksandr Kost Doroshkevych

Carte broșată

147.95 lei

Bratislavskí Habsburgovci Roman Holec

Copertă tare

84.69 lei

Habakuk Leo Bigger

Carte broșată

90.10 lei

The Conny Plank Session, 1 Audio-CD Duke Ellington

Audio CD

67.41 lei

The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.§The material is presented on an advanced level suitable for graduate courses and, of course, active researchers with an interest in verification. The underlying verification paradigm is deductive verification in an expressive program logic. The logic used for reasoning about programs is not a minimalist version suitable for theoretical investigations, but an industrial-strength version. The first-order part is equipped with a type system for modelling of object hierarchies, with underspecification, and with various built-in theories. The program logic covers full Java Card (plus a bit more such as multi-dimensional arrays, characters, and long integers). A lot of emphasis is thereby put on specification, including two widely-used object-oriented specification languages (OCL and JML) and even an interface to natural language generation. The generation of proof obligations from specified code is discussed at length. The book is rounded off by two substantial case studies that are included and presented in detail.