Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte melden Sie sich für Vollzugriff an:
Anmelden
Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag
Treffer 1 - 20
von 87
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
computer science
9
deductive verification
8
java (programmiersprache)
8
java
6
software engineering
6
static analysis
6
mehr ...
theorem proving
6
[info.info-pl]computer science [cs]/programming languages [cs.pl]
5
analyse statique
5
computing and processing
5
object-oriented software
5
objektorientierte programmierung
5
satisfiability modulo theory
5
software verification
5
[info.info-oh]computer science [cs]/other [cs.oh]
4
computer science.
4
ddc:004
4
design by contract
4
formal methods
4
info:eu-repo/classification/ddc/004
4
pradikatenlogik
4
programmverifikation
4
qa75.5-76.95
4
rechnerprogramm
4
software engineering.
4
spezifikationssprache
4
validierung
4
abstract interpretation
3
components
3
containers
3
weniger ...
Veröffentlicht in
formal aspects of computing
2
lecture notes in computer science
2
2014 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2014
1
2021 ieee/acm 9th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2021 ieee/acm 9th international conference on, formalise
1
deductive and object-oriented databases (munich, 1991)
1
formal methods for open object-based distributed systems (9783540729198)
1
mehr ...
formal methods in system design : an international journal
1
formal verification of object-oriented software
1
formal verification of object-oriented software (9783642317613)
1
fourth ieee international conference on software engineering & formal methods (sefm'06)
1
fourth ieee international conference on software engineering and formal methods (sefm'06), software engineering and formal methods, 2006. sefm 2006. fourth ieee international conference on
1
fundamenta informaticae
1
gottingen: sierke
1
information sciences
1
international journal of intelligent systems
1
issn: 1432-7864
1
journal of programming languages
1
journal of systems & software
1
karlsruhe: kit scientific publishing
1
karlsruhe: universitatsverlag karlsruhe
1
lecture notes in computer science, programming and software engineering
1
lecture notes in computer science, theoretical computer science and general issues
1
logic program synthesis and transformation (utrecht, 1995)
1
proceedings 1996 ieee symposium on security and privacy, security and privacy, 1996. proceedings., 1996 ieee symposium on, security and privacy
1
springer london
1
the journal of systems & software
1
verification of object-oriented software. the key approach
1
weniger ...
Verlag
springer
8
hal ccsd
6
kit scientific publishing
6
ieee
4
springer nature
4
ccsd
3
mehr ...
wti-frankfurt-digital gmbh
3
elsevier inc.
2
kit scientific publishing, karlsruhe
2
springer berlin heidelberg
2
springer, berlin
2
springer, cham
2
springer-verlag
2
acm
1
association for computing machinery
1
ecole normale superieure de cachan - ens cachan
1
elsevier b.v.
1
fmcad and the authors
1
ieee comput. soc. press
1
john wiley & sons
1
sierke
1
springer international publishing
1
springer-verlag, berlin
1
universitat karlsruhe (th)
1
universitat politecnica de catalunya. departament de llenguatges i sistemes informatics
1
universitatsverlag karlsruhe
1
weniger ...
Sprache
Geographie
Datenbank
BASE
42
TEMA
9
IEEE Xplore Digital Library
5
Harvard Library Bibliographic Dataset
5
MathSciNet via EBSCOhost
5
Complementary Index
4
mehr ...
wiso
3
Directory of Open Access Books
2
eBook Index
2
Networked Digital Library of Theses & Dissertations
2
GBV Online Contents
2
ScienceDirect
2
Academic Search Index
1
Business Source Premier
1
Science Citation Index Expanded
1
Supplemental Index
1
weniger ...
Erscheinungsjahr
Filter