Zum Inhalt springen

Apt, Krzysztof R. [VerfasserIn]; Olderog, Ernst-Rüdiger [VerfasserIn]

Verification of sequential and concurrent programs - [2. ed.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York; Heidelberg [u.a.]: Springer, 1997

Erschienen in: Graduate texts in computer science
Alt, René [HerausgeberIn] ; Seminar Numerical Software with Result Verification 2003 Dagstuhl

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 2991
Futschek, Gerald [VerfasserIn]

Programmentwicklung und Verifikation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien [u.a.]: Springer, 1989

Erschienen in: Springers angewandte Informatik
Laski, Janusz [VerfasserIn]; Stanley, William [VerfasserIn]

Software verification and analysis : an integrated, hands-on approach

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London: Springer, 2009
Lewis, Robert O. [VerfasserIn]

Independent verification and validation : a life cycle engineering process for quality software

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York [u.a.]: Wiley, 1992

Erschienen in: New dimensions in engineering
Baier, Christel [VerfasserIn]; Katoen, Joost-Pieter [VerfasserIn]

Principles of model checking

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, Mass. [u.a.]: MIT Press, 2008
Etessami, Kousha [HerausgeberIn]; Rajamani, Sriram K. [Sonstige Person, Familie und Körperschaft] ; CAV 17 2005 Edinburgh

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3576
Liggesmeyer, Peter [VerfasserIn]

Modultest und Modulverifikation : state of the art

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Mannheim; Wien; Zürich: BI-Wiss.-Verl., 1990

Erschienen in: Angewandte Informatik ; 400
Spillner, Andreas [VerfasserIn]; Linz, Tilo [VerfasserIn]

Basiswissen Softwaretest : Aus- und Weiterbildung zum Certified Tester ; Foundation Level nach ISTQB-Standard - [4., überarb. und aktualisierte Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg: dpunkt-Verl., 2010
Broy, Manfred [HerausgeberIn]

KORSO: methods, languages, and tools for the construction of correct software : final report ; [a representative selection of work carried out in the project KORSO ("Korrekte Software")]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1995

Erschienen in: Lecture notes in computer science ; 1009
Barner, Sharon [HerausgeberIn]; Harris, Ian [Sonstige Person, Familie und Körperschaft]; Kroening, Daniel [Sonstige Person, Familie und Körperschaft]; Raz, Orna [Sonstige Person, Familie und Körperschaft] ; International Haifa Verification Conference 6 2010 Haifa

Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6504
Emerson, E. Allen [HerausgeberIn]; Sistla, Aravinda Prasad [Sonstige Person, Familie und Körperschaft] ; CAV 12 2000 Chicago, Ill

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2000

Erschienen in: Lecture notes in computer science ; 1855
Backhouse, Roland C. [VerfasserIn]

Programmkonstruktion und Verifikation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London: Prentice-Hall Internat., 1989 ; München; Wien: Hanser, 1989
Aichernig, Bernhard K. [HerausgeberIn]; Boer, Frank S. de [Sonstige Person, Familie und Körperschaft]; Bonsangue, Marcello M. [Sonstige Person, Familie und Körperschaft] ; FMCO 9 2010 Graz

Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6957
Yorav, Karen [HerausgeberIn] ; International Haifa Verification Conference 3 2007 Haifa

Hardware and software: verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23 - 25, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 4899
Alur, Rajeev [HerausgeberIn]; Peled, Doron A. [Sonstige Person, Familie und Körperschaft] ; CAV 16 2004 Boston, Mass

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17, 2004 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3114
Namjoshi, Kedar S. [HerausgeberIn] ; International Haifa Verification Conference 5 2009 Haifa

Hardware and software: verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6405
Chockler, Hana [HerausgeberIn]; Hu, Alan J. [Sonstige Person, Familie und Körperschaft] ; International Haifa Verification Conference 4 2008 Haifa

Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5394
Kersten, Heinrich [HerausgeberIn] ; Zentralstelle für Sicherheit in der Informationstechnik Bonn

Sichere Software : formale Spezifikation und Verifikation vertrauenswürdiger Systeme; Tagung der Zentralstelle für Sicherheit in der Informationstechnik, Bonn, 27. - 28.11.1989

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg: Hüthig, 1990
Bouajjani, Ahmed [HerausgeberIn]; Maler, Oded [Sonstige Person, Familie und Körperschaft] ; CAV 21 2009 Grenoble

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5643

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr