SULJE VALIKKO

avaa valikko

Richard Hahn | Akateeminen Kirjakauppa

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



Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY
Wolfgang Ahrendt (ed.); Bernhard Beckert (ed.); Richard Bubel (ed.); Reiner Hähnle (ed.); Mattias Ulbrich (ed.)
Springer (2020)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Crime, Justice, and Punishment Set, 37-Volumes
Richard Worth; Tracee de Hahn; Neil Chippendale
CHELSEA HOUSE PUB (2005)
Pehmeäkantinen kirja
1380,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Basedow und sein Verhltniss zu Rousseau: Ein Beitrag zur Geschichte der .
Gustav Paul Richard Hahn
Kniga po trebovaniyu
16,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Morning Mist  : Flute  : Book [Softcover]
William Billingsley; Richard Hahn
Alfred Music Publications
Pehmeäkantinen kirja
14,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Blues in F  : Flute  : Book [Softcover]
William Billingsley; Richard Hahn
Alfred Music Publications
Pehmeäkantinen kirja
14,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Summer Song  : Flute  : Book [Softcover]
William Billingsley; Richard Hahn
Alfred Music Publications
Pehmeäkantinen kirja
14,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Night Winds  : Flute  : Book [Softcover]
Sandra Hahn; Richard Hahn
Alfred Music Publications
Pehmeäkantinen kirja
14,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hahnemann as a Medical Philosopher, the Organon, Lecture
Richard Hughes; Samuel Christian F. Hahnemann; Johann Christoph Friedrich Von Schiller
Nabu Press (2010)
Pehmeäkantinen kirja
50,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Basedow Und Sein Verhltniss Zu Rousseau: Ein Beitrag Zur Geschichte Der Pdagogik Im 18. Jahr-Hundert ...
Gustav Paul Richard Hahn
Nabu Press (2010)
Pehmeäkantinen kirja
52,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Basedow Und Sein Verhaltniss Zu Rousseau: Ein Beitrag Zur Geschichte Der Padagogik Im 18 Jahrhundert (1885)
Gustav Paul Richard Hahn
KESSINGER PUB CO (2010)
Kovakantinen kirja
48,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Basedow Und Sein Verhaltniss Zu Rousseau: Ein Beitrag Zur Geschichte Der Padagogik Im 18 Jahrhundert (1885)
Gustav Paul Richard Hahn
KESSINGER PUB CO (2010)
Pehmeäkantinen kirja
29,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Basedow Und Sein Verhaltniss Zu Rousseau: Ein Beitrag Zur Geschichte Der Padagogik Im 18 Jahrhundert (1885)
Gustav Paul Richard Hahn
KESSINGER PUB CO (2010)
Kovakantinen kirja
74,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Sims Motor Transport Lines, Inc., V. United States et al. U.S. Supreme Court Transcript of Record with Supporting Pleadings
Richard F Hahn; Robert W Ginnane; Additional Contributors
Gale Ecco, U.S. Supreme Court Records (2011)
Pehmeäkantinen kirja
72,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Blevins Popcorn Company, Petitioner, V. National Labor Relations Board and American Federation of Grain Millers, AFL-CIO U.S. Su
Richard A Brackhahn; John S Irving; Charles Orlove
Gale, U.S. Supreme Court Records (2011)
Pehmeäkantinen kirja
72,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Rechtsfragen im Verlag - Urheberrecht, Verlagsrecht & Co
Richard Hahn; Martin Schippan
De Gruyter (2013)
Kovakantinen kirja
92,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Materia medica pura
Hahnemann; Samuel; Dudgeon; R. E. (Robert Ellis); Hughes; Richard
Kniga po trebovaniyu
20,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Robert Lehman Collection at the Metropolitan Museum of Art, V.IX - 19th and 20th C. European Drawings
Richard R. Brettell; Françoise Forster-hahn; Duncan Robinson; Janis Tomlinson
Princeton University Press (2003)
Kovakantinen kirja
122,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Friedhöfe in Stuttgart
Joachim Hahn; Richard Klotz
Hohenheim Verlag (1996)
Kovakantinen kirja
49,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Das Verbotsrecht des Lizenznehmers im Urhebervertragsrecht
Richard Hahn
Nomos Verlagsges.MBH + Co (2007)
Pehmeäkantinen kirja
67,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Rechtsfragen im Verlag
Richard Hahn; Martin Schippan
Gruyter, Walter de GmbH (2014)
Kovakantinen kirja
125,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY
51,40 €
Springer
Sivumäärä: 339 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2020, 09.12.2020 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.

Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment.



We took the 20-year anniversary of KeY as an opportunity to invite researchers, inside and outside of the project, to contribute to a book capturing some state-of-the-art developments in the field.



We received thirteen contributions from recognized experts of the field addressing the latest challenges. The topics of the contributions range from tool development, effciency and usability considerations to novel specification and verification methods.



This book should offer the reader an up-to-date impression of the current state of art in deductive verification, and we hope, inspire her to contribute to the field and to join forces. We are looking forward to meeting you at the next conference, to listen to your research talks and the resulting fruitful discussions and collaborations.



Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeYzoom
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste