Skip to contents

Bakker, Jacobus W. de [Author] ; Bruin, Arie de [Other]

Mathematical theory of program correctness

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Englewood Cliffs, N.J. [u.a.]: Prentice-Hall International, 1980

Published in: Prentice-Hall International series in computer science
Rinderspacher, Markus [Author]

Mathematische Modellierung und Verifikation von SDL-Systemen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1996
Futschek, Gerald [Author]

Programmentwicklung und Verifikation

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wien [u.a.]: Springer, 1989

Published in: Springers angewandte Informatik
Treseler, Heinz [Author]

Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Shaker, 2002

Published in: Universität Dortmund: Schriftenreihe des Lehrstuhls für Anlagensteuerungstechnik der Universität Dortmund ; 2002,2
Garcez, Edelweis Helena Ache [Author]

A coverification framework

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1999
Méry, Dominique [Editor]; Merz, Stephan [Other] ; IFM 8 2010 Nancy

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 6396
Leuschel, Michael [Editor]; Wehrheim, Heike [Other] ; IFM 7 2009 Düsseldorf

Integrated formal methods : 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5423
Wang, Farn [Editor] ; ATVA 2 2004 Taipeh

Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 3299
Smith, Graeme P. [Other]; Pol, Jaco C. van de [Other]; Romijn, Judi M. [Editor] ; IFM 5 2005 Eindhoven

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 3771
Backhouse, Roland C. [Author]

Programmkonstruktion und Verifikation

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London: Prentice-Hall Internat., 1989 ; München; Wien: Hanser, 1989
Nicolette, David [Author]

Software development metrics

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Shelter Island, NY: Manning, [2015]
Katoen, Joost-Pieter [Editor] ; TACAS 8 2002 Grenoble, ETAPS 5 2002 Grenoble

Tools and algorithms for the construction and analysis of systems : 8th international conference ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 2280
Backhouse, Roland C. [Author] ; Backhouse, Roland C. [Other]

Program construction and verification

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Englewood Cliffs, NJ [u.a.]: Prentice-Hall, 1986

Published in: Prentice-Hall international series in computer science
Gutmann, Peter [Author]

Cryptographic security architecture : design and verification

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Berlin; Heidelberg [u.a.]: Springer, 2004
Polak, Wolfgang [Author]

Compiler specification and verification

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 124
Hennig, Stefan [Author]

Design of sustainable solutions for process visualization in industrial automation with model-driven software development

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Vogt, 2012

Published in: Beiträge aus der Automatisierungstechnik
Bouajjani, Ahmed [Editor]; Chin, Wei-Ngan [Other] ; ATVA 8 2010 Singapur

Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 6252
Davies, Jim [Editor]; Gibbons, Jeremy [Other] ; IFM 6 2007 Oxford

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2 - 5, 2007 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4591
Margaria, Tiziana [Other]; Steffen, Bernhard [Other]; Margaria-Steffen, Tiziana [Editor] ; ISoLA 1 2004 Paphos

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4313
Sokolsky, Oleg [Editor]; Taşiran, Serdar [Other] ; International Workshop on Runtime Verification 7 2007 Vancouver, British Columbia

Runtime verification : 7th international workshop, RV 2007, Vancover, Canada, March 13, 2007 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4839

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication