Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "formal methods"
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
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Showing
121
-
140
of
1,149
Search:
'"formal methods"'
,
query time: 0.08s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
121
Formal
Methods
and Software Engineering...
by
George, Chris
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
122
FM’99 —
Formal
Methods
...
by
Wing, Jeannette M
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
123
FM’99 —
Formal
Methods
...
by
Wing, Jeannette M
Published 1999
Springer-Verlag Berlin Heidelberg
Read Now
124
Formal
Methods
and Software Engineering...
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... with Case Analysis -- Applications of
Formal
Methods
-- Enhanced Semantic Access to Formal Software Models...
”
Read Now
125
Web Services and
Formal
Methods
: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Published 2013
Springer Berlin Heidelberg
“
... Workshop on Web Services and
Formal
Methods
, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9...
”
Read Now
126
Software Engineering and
Formal
Methods
: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Published 2016
Springer International Publishing
“
... and
Formal
Methods
, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5...
”
Read Now
127
FM 2015:
Formal
Methods
: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Published 2015
Springer International Publishing
“
... aspects of the use of and the research on
formal
methods
for software development...
”
Read Now
128
Formal
Methods
and Software Engineering...
Published 2016
Springer International Publishing
Table of Contents:
“
...
methods
for self-adaptive systems --
Formal
methods
for object-oriented systems --
Formal
methods
...
”
Read Now
129
Concise Guide to
Formal
Methods
: Theory, Fundamentals and Industry Applications
by
O'Regan, Gerard
Published 2017
Springer International Publishing
Table of Contents:
“
...Software Engineering -- Software Reliability and Dependability -- Overview of
Formal
Methods
...
”
Read Now
130
FM 2016:
Formal
Methods
: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Published 2016
Springer International Publishing
Table of Contents:
“
...Interdisciplinary
formal
methods
--
Formal
methods
in practice -- Tools for
formal
methods
-- Role...
”
Read Now
131
Formal
Methods
: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Published 2016
Springer International Publishing
“
...This book constitutes the refereed proceedings of the 19th Brazilian Symposium on
Formal
Methods
...
”
Read Now
132
Formal
Methods
and Software Engineering...
Published 2015
Springer International Publishing
“
... in the area of
formal
methods
and software engineering and are devoted to advancing the state of the art...
”
Read Now
133
Software Engineering and
Formal
Methods
...
Published 2015
Springer Berlin Heidelberg
Table of Contents:
“
...Automating Test Case Design, Selection and Evaluation -- Human-Oriented
Formal
Methods
-- Modelling...
”
Read Now
134
Formal
Methods
: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Published 2016
Springer International Publishing
“
...This book constitutes revised selected papers from the 18th Brazilian Symposium on
Formal
Methods
...
”
Read Now
135
Theory and Practice of
Formal
Methods
: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Published 2016
Springer International Publishing
“
... birthday. Frank S. de Boer is a prominent member of the research community in
formal
methods
...
”
Read Now
136
Software Engineering and
Formal
Methods
...
Published 2014
Springer International Publishing
Table of Contents:
“
....- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of
Formal
Methods
...
”
Read Now
137
Formal
Methods
for Multicore Programming...
Published 2015
Springer International Publishing
“
... of the International School on
Formal
Methods
for the Design of Computer, Communication and Software Systems, SFM 2015...
”
Read Now
138
Formal
Methods
and Software Engineering...
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... --
Formal
Methods
in Enterprise Computing -- Unifying Theories of Parallel Programming -- Component...
”
Read Now
139
Formal
Methods
and Software Engineering...
Published 2019
Springer International Publishing
Table of Contents:
“
... - A Modeling Idiom to Enhance a Lightweight
Formal
Method
-- Formal Analysis of Qualitative Long-Term...
”
Read Now
140
FM 2014:
Formal
Methods
: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
... Considered Essential -- Engineering UToPiA: Formal Semantics for CML -- 40 Years of
Formal
Methods
: Some...
”
2
3
4
5
6
7
8
9
10
11
12
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
543
004 - Data processing & computer science
281
600 - Technology
70
006 - Special computer methods
68
621 - Applied physics
59
620 - Engineering & allied operations
20
more ...
003 - Systems
17
500 - Natural sciences & mathematics
11
670 - Manufacturing
10
501 - Philosophy & theory
8
511 - General principles of mathematics
8
629 - Other branches of engineering
8
658 - General management
8
330 - Economics
7
700 - The arts; fine & decorative arts
7
720 - Architecture
6
160 - Logic
5
300 - Social sciences
5
530 - Physics
5
570 - Life sciences; biology
5
000 - Computer science, information & general works
4
331 - Labor economics
4
363 - Other social problems & services
4
400 - Language
4
518 - Numerical analysis
4
610 - Medicine & health
4
745 - Decorative arts
4
025 - Library operations
3
380 - Commerce, communications & transportation
3
410 - Linguistics
3
510 - Mathematics
3
515 - Analysis
3
628 - Sanitary & municipal engineering
3
900 - History & geography
3
100 - Philosophy & psychology
2
302 - Social interaction
2
327 - International relations
2
371 - Schools & their activities; special education
2
401 - Philosophy & theory
2
512 - Algebra
2
516 - Geometry
2
519 - Probabilities & applied mathematics
2
539 - Modern physics
2
660 - Chemical engineering
2
001 - Knowledge
1
111 - Ontology
1
120 - Epistemology, causation & humankind
1
121 - Epistemology
1
140 - Specific philosophical schools
1
150 - Psychology
1
200 - Religion
1
301 - Sociology & anthropology
1
304 - Factors affecting social behavior
1
320 - Political science
1
321 - Systems of governments & states
1
323 - Civil & political rights
1
324 - The political process
1
333 - Economics of land & energy
1
338 - Production
1
384 - Communications; telecommunication
1
541 - Physical chemistry
1
576 - Genetics & evolution
1
616 - Diseases
1
657 - Accounting
1
690 - Buildings
1
839 - Other Germanic literatures
1
see all ...
less ...
Language
English
1,050
German
5
Collection
Springer eBooks 2005-
652
Springer Book Archives -2004
341
IEEE Conference Proceedings
66
Lecture Notes in Computer Science
28
O'Reilly
21
Springer Lecture Notes Archiv 1964-1996
9
more ...
Directory of Open Access Books
8
OAPEN
7
National Center for Biotechnology Information
4
Cambridge Books Online
3
MIT Press eBook Archive
3
Oxford University Press
2
DeGruyter MPG Collection
1
International Monetary Fund
1
JSTOR Open Access Books
1
OECD Books and Papers
1
World Bank E-Library Archive
1
see all ...
less ...
Author
Steffen, Bernhard
30
Margaria, Tiziana
26
Bernardo, Marco
16
Bowen, Jonathan P.
12
Bonsangue, Marcello M.
11
Graf, Susanne
11
more ...
O'Regan, Gerard
11
Derrick, John
9
Butler, Michael
8
Davies, Jim
8
Johnsen, Einar Broch
8
Sirjani, Marjan
8
Woodcock, Jim
8
de Roever, Willem-Paul
8
Bouchon-Meunier, Bernadette
7
Broy, Manfred
7
Cerone, Antonio
7
Hinchey, Michael G.
7
Liu, Zhiming
7
de Boer, Frank S.
7
ter Beek, Maurice H.
7
Arbab, Farhad
6
Bjørner, Dines
6
Fitzgerald, John
6
Gnesi, Stefania
6
Jones, Cliff B.
6
Katoen, Joost-Pieter
6
Maibaum, Tom
6
Palanque, Philippe
6
Salaün, Gwen
6
Ölveczky, Peter Csaba
6
Havelund, Klaus
5
Huisman, Marieke
5
Jones, Cliff
5
Liu, Shaoying
5
Meseguer, José
5
Méry, Dominique
5
Núñez, Manuel
5
Roggenbach, Markus
5
Schewe, Klaus-Dieter
5
Zavattaro, Gianluigi
5
Alagar, V.S.
4
Anderson, Tom
4
Araki, Keijiro
4
Beckert, Bernhard
4
Bonsangue, Marcello
4
Bravetti, Mario
4
Cavalcanti, Ana
4
Coletti, Giulianella
4
Cong Vinh, Phan
4
Damiani, Ferruccio
4
Damm, Werner
4
Dastani, Mehdi
4
Denvir, Tim
4
Ehrig, Hartmut
4
Fedrizzi, Mario
4
Gaudel, Marie-Claude
4
Greco, Salvatore
4
Hermanns, Holger
4
Hähnle, Reiner
4
Lecomte, Thierry
4
Leue, Stefan
4
Montanari, Ugo
4
Nivat, Maurice
4
Olderog, Ernst-Rüdiger
4
Owe, Olaf
4
O’Regan, Gerard
4
Redmill, Felix
4
Romanovsky, Alexander
4
Rozier, Kristin Yvonne
4
Sekerinski, Emil
4
Shoham, Sharon
4
Smith, Graeme
4
Vinh, Phan Cong
4
Vizel, Yakir
4
Wirsing, Martin
4
Zhan, Naijun
4
de Boer, Frank
4
Abrial, Jean-Raymond
3
Ahrendt, Wolfgang
3
Aichernig, Bernhard K.
3
Alur, Rajeev
3
Babkin, Eduard
3
Berghammer, Rudolf
3
Bertran, Miquel
3
Beyer, Dirk
3
Boiten, Eerke
3
Calinescu, Radu
3
Chamberlain, Roger
3
Cimatti, Alessandro
3
Collart-Dutilleul, Simon
3
Delgado Kloos, Carlos
3
Dieks, Dennis
3
Dong, Jin Song
3
Dubois, Catherine
3
Fantechi, Alessandro
3
Felici, Massimo
3
Garcia-Alfaro, Joaquin
3
Giannakopoulou, Dimitra
3
Gibbons, Jeremy
3
see all ...
less ...
Recently Uploaded
Last Month
13
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=7&lookfor=%22formal+methods%22&type=AllFields
Send by Email
×
Loading...