Zum Inhalt springen

Aldini, Alessandro [Herausgeber:in] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 10 2010 Bertinoro

Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21 - 26, 2010; advanced lectures

Online ansehen
Schließen

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, 2010

Erschienen in: Lecture notes in computer science ; 6154
Diller, Antoni [Verfasser:in]

Z : an introduction to formal methods - [2. ed.]

Online ansehen
Schließen

Schließen

Merkliste

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

Chichester [u.a.]: Wiley, 1994
Omicini, Andrea [Herausgeber:in] ; DALT 8 2010 Toronto

Declarative agent languages and technologies / 8, 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2011; revised selected and invited papers / Andrea Omicini ... (eds.)

Online ansehen
Schließen

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: Declarative agent languages and technologies ; 8 - Lecture notes in computer science ; 6619
Beckert, Bernhard [Herausgeber:in]; Marché, Claude [Sonstige Person, Familie und Körperschaft] ; FoVeOOS 2010 Paris

Formal verification of object-oriented software : International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers

Online ansehen
Schließen

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 ; 6528
Abrial, Jean-Raymond [Verfasser:in]

The B-book : assigning programs to meanings

Online ansehen
Schließen

Schließen

Merkliste

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

Cambridge [u.a.]: Cambridge Univ. Press, 1996
Tan, Yang Meng [Verfasser:in]

Formal specification techniques for engineering modular C programs

Online ansehen
Schließen

Schließen

Merkliste

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

Boston, Mass. [u.a.]: Kluwer Academic Publ., 1996

Erschienen in: The Kluwer international series in software engineering ; 1
Garcia Gutierrez, Miguel Alfredo [Verfasser:in] ; Möller, Ralf [Sonstige Person, Familie und Körperschaft]; Vogt, Friedrich H. [Sonstige Person, Familie und Körperschaft] Technische Universität Hamburg-Harburg Institut für Theoretische Elektrotechnik

On the formalization of model-driven software engineering

Online ansehen
Schließen

Schließen

Merkliste

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

Berlin: Logos-Verl., 2009
Bowen, Jonathan P. [Herausgeber:in]; Fett, Andreas [Herausgeber:in]; Hinchey, Mike [Herausgeber:in] ; ZUM 11 1998 Berlin

ZUM '98: The Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24 - 26, 1998, proceedings

Online ansehen
Schließen

Schließen

Merkliste

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

Berlin; Heidelberg; New York: Springer, 1998

Erschienen in: Lecture notes in computer science ; 1493
Alpuente, María [Herausgeber:in] ; LOPSTR 20 2010 Hagenberg im Mühlkreis

Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010; revised selected papers

Online ansehen
Schließen

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 ; 6564
Beierle, Christoph [Herausgeber:in]

Logic programming : formal methods and practical applications

Online ansehen
Schließen

Schließen

Merkliste

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

Amsterdam; Oxford [u.a.]: North Holland, 1995

Erschienen in: Studies in computer science and artificial intelligence ; 11
Ueda, Kazunori [Herausgeber:in] ; APLAS 8 2010 Schanghai

Programming languages and systems : 8th Asian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 ; proceedings

Online ansehen
Schließen

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, 2010

Erschienen in: Lecture notes in computer science ; 6461
Alves-Foss, Jim [Herausgeber:in]

Formal syntax and semantics of Java

Online ansehen
Schließen

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, 1999

Erschienen in: Lecture notes in computer science ; 1523
Agha, Gul [Herausgeber:in]; Talcott, Carolyn L. [Gefeierte:r]; Danvy, Oilivier [Sonstige Person, Familie und Körperschaft]; Meseguer, José [Sonstige Person, Familie und Körperschaft]; Talcott, Carolyn [Gefeierte:r]

Formal modeling: actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday

Online ansehen
Schließen

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 ; 7000
Bove, Ana [Herausgeber:in]; Soares Barbosa, Luís [Sonstige Person, Familie und Körperschaft] ; International Summer School on Language Engineering and Rigorous Software Development 2008 Piriapolis

Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised turorial lectures

Online ansehen
Schließen

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 ; 5520
Nebel, Markus [Verfasser:in]

Formale Grundlagen der Programmierung

Online ansehen
Schließen

Schließen

Merkliste

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

Wiesbaden: Springer Vieweg, 2012

Erschienen in: Studienbücher Informatik - Studium
Goldsack, Stephen J. [Herausgeber:in]

Formal methods and object technology

Schließen

Merkliste

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

London; Berlin; Heidelberg [u.a.]: Springer, 1996

Erschienen in: Formal approaches to computing and information technology
Baldoni, Matteo [Herausgeber:in] ; DALT 6 2008 Estoril

Declarative agent languages and technologies / 6, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12; revised selected and invited papers / Matteo Baldoni ... (eds.)

Online ansehen
Schließen

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: Declarative agent languages and technologies ; 6 - Lecture notes in computer science ; 5397
Baldoni, Matteo [Herausgeber:in] ; DALT 7 2009 Budapest

Declarative agent languages and technologies / 7, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009; revised selected and invited papers / Matteo Baldoni ... (eds.)

Online ansehen
Schließen

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, 2010

Erschienen in: Declarative agent languages and technologies ; 7 - Lecture notes in computer science ; 5948
Owe, Olaf [Herausgeber:in]; Dahl, Ole-Johan [Gefeierte:r]

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl

Online ansehen
Schließen

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 ; 2635
Gordon, Andrew D. [Herausgeber:in] ; ESOP 19 2010 Paphos, ETAPS 13 2010 Paphos

Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings

Online ansehen
Schließen

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, 2010

Erschienen in: Lecture notes in computer science ; 6012

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