Showing
1 - 4
results of
4
for search '
'
Skip to content
Toggle navigation
VuFind
Your Account
Log Out
Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Call Number:
Q - Science
Format:
Book
Institution:
University of Pennsylvania
Suggested Topics:
Development
AND
Formale Methode
Reset Filters
Show filters (5)
Call Number:
Q - Science
Format:
Book
Institution:
University of Pennsylvania
Suggested Topics:
Development
AND
Formale Methode
Search Results
Suggested Topics within your search.
Suggested Topics within your search.
Computer software
4
Development
Formale Methode
Formal methods (Computer science)
3
Méthodes formelles (Informatique)
3
Softwareentwicklung
3
Génie logiciel
2
more ...
Logiciels
2
Méthode formelle
2
System design
2
Ateliers de génie logiciel
1
Conception de systèmes
1
Congresses
1
Congrès
1
Développement
1
Développement de logiciels
1
Eiffel (Computer program language)
1
Eiffel (Langage de programmation)
1
Engenharia de programacao (software)
1
Engineering
1
Enseignement
1
Étude et enseignement
1
Formale Spezifikationstechnik
1
Formele logica
1
Hardwareentwurf
1
Informatikstudium
1
Informatique mobile
1
Ingénierie
1
Innovation technologique
1
Innovations
1
less ...
Showing
1 - 4
results of
4
for search '
'
, query time: 0.19s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report /
Berlin ; New York : Springer, 2004
Call Number:
Loading...
Located:
Loading...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Conference Proceeding
Book
2
Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings /
Berlin ; New York : Springer, 2004
Call Number:
Loading...
Located:
Loading...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Conference Proceeding
Book
3
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, A...
Berlin ; New York : Springer, 2005
Call Number:
Loading...
Located:
Loading...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Conference Proceeding
Book
4
Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /
Berlin ; New York : Springer, 1999
Call Number:
Loading...
Located:
Loading...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Conference Proceeding
Book
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Institution
Temple University
4
University of Pennsylvania
West Virginia University
4
Pennsylvania State University
2
Rutgers University
1
Saint Joseph's University
1
Format
Book
Conference Proceeding
4
Call Number
Q - Science
Author
Bernardo, Marco
1
Bogliolo, Alessandro
1
Boute, R. T. (Raymond T.)
1
Dean, Neville
1
Deutsche Forschungsgemeinschaft
1
Ehrig, Hartmut
1
more ...
Hutter, Dieter
1
INT 2004
1
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy
1
International Workshop on Current Trends in Applied Formal Methods Boppard, Germany
1
TFM 2004 Ghent, Belgium
1
see all ...
less ...
Language
English
4
Genre
Conference papers and proceedings
4
Congresses
4
Congrès
4
Kongress
3
Actes de congrès
1
Aufsatzsammlung
1
more ...
Boppard (1998)
1
Congress
1
Logiciels
1
Software
1
proceedings (reports)
1
see all ...
less ...
Era
1998
1
2004
1
2005
1
Region
Allemagne
1
Bertinoro
1
Bertinoro (2005)
1
Boppard
1
Gent
1
Gent (2004)
1
more ...
Germany
1
see all ...
less ...
Year of Publication
From:
To:
Loading...