Sökning: onr:19984323 > Deductive Software ...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Deductive Software Verification – The KeY Book From Theory to Practice /edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich.
- E-bokEngelska2016
Förlag, utgivningsår, omfång ...
- Publicerad:Cham :Publicerad:Springer International Publishing :Publicerad:Imprint: Springer,Publicerad:2016
- XXXII, 702 p. 110 illus.online resource.
- texttxtrdacontent
- computercrdamedia
- online resourcecrrdacarrier
- text filePDF
Nummerbeteckningar
- LIBRIS-ID:19984323
- ISBN:9783319498126
- Ogiltigt nummer / annan version:9783319498119 (Print)
- 10.1007/978-3-319-49812-6doi
Kompletterande språkuppgifter
- Språk:engelska
Klassifikation
Serie
- Lecture Notes in Computer Science,0302-9743 ;10001
Anmärkningar
- Foundations -- Specification and Verification -- From Verification to Analysis -- The KeY System in Action -- Case Studies.
- Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond).< < The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.
Ämnesord och genrebeteckningar
- Computer science.
- Software engineering.
- Programming languages (Electronic computers).
- Computer logic.
- Mathematical logic.
- Artificial intelligence.
- Computer Science.
- Software Engineering.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Programming Languages, Compilers, Interpreters.
- Artificial Intelligence (incl. Robotics).
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Ahrendt, Wolfgang. (redaktör/utgivare)
- Beckert, Bernhard. (redaktör/utgivare)
- Bubel, Richard. (redaktör/utgivare)
- Hähnle, Reiner. (redaktör/utgivare)
- Schmitt, Peter H. (redaktör/utgivare)
- Ulbrich, Mattias. (redaktör/utgivare)
- SpringerLink (Online service)
Sammanhörande titlar
- Annan version:Printed edition:Deductive Software Verification – The KeY Book9783319498119
Seriebiuppslag
- Lecture Notes in Computer Science,0302-9743 ;10001
Internetlänk
- http://dx.doi.org/10.1007/978-3-319-49812-6Table of Contents / Abstracts
Titeln finns på 16 bibliotek.
Bibliotek i norra Sverige (3)
Ange som favorit- Luleå universitetsbibliotek, Digitala resurser (LTUd)Ange som favorit
- Bibliotekets webbplats
-
- Läs hela (Online access for LTU) (Springer Lecture Notes in Computer Science eBooks)
- Mittuniversitetet, Digitala biblioteket (Miun)Ange som favorit
- Bibliotekets webbplats
-
- Läs hela (Online access for MIU) (Springer Nature Complete eBooks) (fulltext)
- Läs hela (Online access for MIU) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
- Umeå universitetsbibliotek, Digitala resurser (Qdig)Ange som favorit
- Bibliotekets lokala katalog
-
- Läs hela (Online access for UMUB) (fulltext) (Springer Lecture Notes in Computer Science)
Bibliotek i Mellansverige (3)
Ange som favorit- Karlstads universitetsbibliotek, Digitala resurser (Kdig)Ange som favorit
- Titeln i bibliotekets lokala katalogKauLink
-
- Läs hela (Online access for KaU) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
- Läs hela (Online access for KaU) (Springer eBooks (Computer Science/LNCS 2016)) (fulltext)
- Mälardalens universitet, Digitala resurser (Mdhd)Ange som favorit
- Bibliotekets webbplats
-
- Läs hela (Tillgänglig för användare inom Mälardalens högskola) (fulltext) (SpringerLink Books - AutoHoldings)
- Örebro universitetsbibliotek, Digitala resurser (Odig)Ange som favorit
-
- Läs hela (Tillgänglig inom Örebro universitet och externt för studenter och anställda vid universitetet) (fulltext) (Lecture Notes in Computer Science)
Bibliotek i Stockholmsregionen (2)
Ange som favorit- Stockholms universitetsbibliotek, Digitala resurser (Hdig)Ange som favorit
-
- Läs hela (Tillgänglig för användare inom Stockholms universitet) (SpringerLink Books - AutoHoldings:Full Text)
- Kungliga Tekniska högskolan, E-resurser (Tdig)Ange som favorit
- Bibliotekets webbplats
-
- Läs hela (Springer) (Online access for KTHB)
Bibliotek i östra Sverige (2)
Ange som favorit- Högskolan i Jönköping, E-resurser (JonE)Ange som favorit
- Titeln i bibliotekets lokala katalogGet it
-
- Läs hela (Online access for JON) (fulltext) (Springer eBooks)
- Linköpings universitetsbibliotek, E-resurser (LiUd)Ange som favorit
- Bibliotekets lokala katalog
-
- Läs hela (Extern tillgång endast anställda och studenter vid LiU) (Springer Lecture Notes in Computer Science eBooks) (Springer Computer Science eBooks 2016 English/International)
Bibliotek i västra Sverige (3)
Ange som favorit- Göteborgs universitetsbibliotek, E-resurser (Gdix)Ange som favorit
- Bibliotekets lokala katalogFind@GU
-
- Läs hela (Tillgänglig för Göteborgs universitet / Online access for the University of Gothenburg) (Springer eBooks:Full Text)
- Högskolan i Borås, Biblioteket, Digitala resurser (Hibd)Ange som favorit
- Bibliotekets lokala katalog
-
- Läs hela (Tillgänglig för användare inom Högskolan i Borås) (fulltext) (Springer Nature - Springer Lecture Notes in Computer Science eBooks)
- Chalmers tekniska högskola, E-resurser (Zdig)Ange som favorit
- Bibliotekets lokala katalog
-
- Läs hela (Online access for Chalmers) (Springer Computer Science eBooks 2016 English/International)
Bibliotek i södra Sverige (3)
Ange som favorit- Lunds universitets bibliotek, Digitala resurser (Ldix)Ange som favorit
- Titeln i bibliotekets lokala katalog
-
- Läs hela (Online access for Lund University) (Springer Lecture Notes in Computer Science eBooks) (Springer eBooks (Computer Science/LNCS 2016))
- Linnéuniversitetet, Universitetsbiblioteket, E-resurser (LnuE)Ange som favorit
- Titeln i bibliotekets lokala katalog
-
- Läs hela (Online access for Linnaeus University) (fulltext) (Springer Nature - Springer Lecture Notes in Computer Science eBooks)
- Malmö universitetsbibliotek, E-resurser (Maud)Ange som favorit
- Bibliotekets webbplats
-
- Läs hela (Online access for MAU) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
- Läs hela (Online access for MAU) (Springer Computer Science eBooks 2016 English/International) (fulltext)
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Sök vidare
Hjälp
- Fler titlar av
- Ahrendt, Wolfgang.
- Beckert, Bernhard.
- Bubel, Richard.
- Hähnle, Reiner.
- Schmitt, Peter H.
- Ulbrich, Mattias.
- visa fler...
- SpringerLink (Online ...
- visa färre...
- Fler titlar om
- Computer science.
- Software engineering ...
- Programming language ...
- Computer logic.
- Mathematical logic.
- Artificial intellige ...
- Serie
- Fler delar
- Printed edition:
- Deductive Software V ...
Sök utanför LIBRIS
Hjälp
- Sök vidare i:
- Google Book Search
- Google Scholar
- LibraryThing
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
Copyright © LIBRIS - Nationella bibliotekssystem
