Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
51,10 €
Springer Nature Switzerland AG
Sivumäärä: 339 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2020
Julkaisuvuosi: 2020, 09.12.2020 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 12345
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.

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

Tilaustuote

Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Haluan myydä tämän tuotteen
Ryhmätilaus-
laskuri
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeYSuurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783030643539
Asiasanat:
architecting ArtificialIntelligence computerprogramming deductiveverification embeddedsystems formallogic formalmethods modelchecking ProgrammingLanguages softwarearchitecture Softwaredesign Softwareengineering Softwarequality Softwarespecific
Aihealue:
Ulkomaiset kirjat » Computers » Programming » Software Development
Kansikuva tuotteelle