Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

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: 102.71 EUR
Availability: InStock
Author: Bernhard Beckert
ISBN: 9783540689775

Foreword by K. Rustan M. Leino

Bernhard Beckert

Reiner Hähnle

Peter H. Schmitt

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01567799

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, januari 2007

The ultimate goal of program verification is not the theory behind the tools or the tools themselves... Volledige beschrijving

Libristo-code: 01567799

249 b

102.71 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Die Feuerinseln Richard Schwartz

Gebonden (paperback)

14.42 €

Love is an illusion! Fargo

Gebonden (paperback)

15.02 €

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

Gebonden (paperback)

26.83 €

Droomhuisavonture Lauren O'Connor-May

Adobe ePub DRM

8.06 €

Dáme gól! Clive Gifford

Gebonden (paperback)

4.63 €

Zurück In Die 90s Vol. 2

Audio cd

17.85 €

Hello Ruby Linda Liukas

Adobe ePub DRM

19.77 €

Gettare Oltre Lo Sguardo Andrea Aroldi

Gebonden (harde band)

29.15 €

ENDODONTISCHE MISSGESCHICKE R. Vinaychandra

Gebonden (paperback)

48.83 €

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

Boek

24.91 €

Hello, English! – ZOO, Safari

Gebonden (paperback)

0.90 €

Baudelaire Kopp

Gebonden (paperback)

20.78 €

Work Hard And Be Nice Michael Franti and Spearhead

Audio cd

18.86 €

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

Gebonden (harde band)

13.41 €

Bratislavskí Habsburgovci Roman Holec

Gebonden (harde band)

16.14 €

Habakuk Leo Bigger

Gebonden (paperback)

16.24 €

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

Gebonden (harde band)

14.72 €

The Conny Plank Session, 1 Audio-CD Duke Ellington

Audio cd

12.81 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Verification of Object-Oriented Software. The KeY Approach

Auteur Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2007

Aantal pagina's 658

EAN 9783540689775

ISBN 354068977X

Libristo-code 01567799

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1008

Afmetingen 166 x 233 x 34

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Object-georiënteerd programmeren (OOP)

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger