SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Peter Beckert | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino
Bernhard Beckert; Reiner Hähnle; Peter H. Schmitt
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Die Zukunft des deutschen Kabelfernsehnetzes - Sechs Schritte zur Digitalisierung
Bernd Beckert; Wolfgang Schulz; Peter Zoche; Hardy Dreier
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
64,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Stottern bewegt
Peter Beckert; Wolfgang G. Braun; Patrizia Willi
Georg Westermann Verlag (2012)
Pehmeäkantinen kirja
60,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Internetwirtschaft 2010 - Perspektiven und Auswirkungen
Paul J.J. Welfens; Peter Zoche; Andre Jungmittag; Bernd Beckert; Martina Joisten
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja
73,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Plantation Kingdom - The American South and Its Global Commodities
Richard Follett; Sven Beckert; Peter Coclanis; Barbara M. Hahn
Johns Hopkins University Press (2016)
Kovakantinen kirja
56,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Plantation Kingdom - The American South and Its Global Commodities
Richard Follett; Sven Beckert; Peter Coclanis; Barbara M. Hahn
Johns Hopkins University Press (2016)
Pehmeäkantinen kirja
25,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Deductive Software Verification – The KeY Book - From Theory to Practice
Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Peter H. Schmitt; Mattias Ulbrich
Springer International Publishing AG (2016)
Pehmeäkantinen kirja
117,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino
97,90 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 658 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 03.01.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Artificial Intelligence
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di?erent c- trol ?ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leinozoom
Näytä kaikki tuotetiedot
ISBN:
9783540689775
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste