Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "formal method"
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
Search alternatives
:
"formal method" »
"formal methods"
Showing
1
-
20
of
1,149
Search:
'"formal method"'
,
query time: 0.09s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Formal
Methods
: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Published 1962
Springer Netherlands
Read Now
2
Formal
Methods
: An Appetizer
by
Nielson, Flemming
,
Riis Nielson, Hanne
Published 2019
Springer International Publishing
“
...This textbook is an introduction to the use of
formal
methods
ranging from semantics of key...
”
Read Now
3
Formal
Methods
: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Published 2018
Springer International Publishing
“
... papers were carefully reviewed and selected from 110 submissions. They present
formal
methods
...
”
Read Now
4
Formal
Methods
: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Published 2021
Springer International Publishing
“
...This book constitutes the refereed proceedings of the 24th Symposium on
Formal
Methods
, FM 2021...
”
Read Now
5
Formal
Methods
: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Published 2023
Springer International Publishing
Table of Contents:
“
... -- Monitoring the Internet Computer -- Word Equations in Synergy with Regular Constraints --
Formal
Methods
...
”
Read Now
6
Formal
Methods
and Testing : An Outcome of the FORTEST Network. Revised Selected Papers
Published 2008
Springer Berlin Heidelberg
“
...This book constitutes the thoroughly refereed and peer-reviewed outcome of the
Formal
Methods
...
”
Read Now
7
Teaching
Formal
Methods
: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
...Abstraction and Modelling: A Complementary Partnership -- Teaching
Formal
Methods
...
”
Read Now
8
Integrated
Formal
Methods
: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Read Now
9
Integrated
Formal
Methods
: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
“
...
Formal
Methods
, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers...
”
Read Now
10
NASA
Formal
Methods
: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
...Model checking -- Applications of
formal
methods
-- Complex systems -- Static analysis -- Symbolic...
”
Read Now
11
Integrated
Formal
Methods
: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
“
...
Formal
Methods
, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented...
”
Read Now
12
NASA
Formal
Methods
: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
“
...This book constitutes the refereed proceedings of the Third International Symposium on NASA
Formal
...
”
Read Now
13
NASA
Formal
Methods
: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
Published 2012
Springer Berlin Heidelberg
“
...This book constitutes the refereed proceedings of the Fourth International Symposium on NASA
Formal
...
”
Read Now
14
Integrated
Formal
Methods
: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
by
Grieskamp, Wolfgang
Published 2000
Springer Berlin Heidelberg
Read Now
15
Teaching
Formal
Methods
: CoLogNETFME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
by
Dean, C Neville
Published 2004
Springer Berlin Heidelberg
Read Now
16
Integrated
Formal
Methods
: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Published 2019
Springer International Publishing
“
...
Formal
Methods
, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers...
”
Read Now
17
NASA
Formal
Methods
: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... in automated theorem proving including SAT and SMT solving -- Use of
formal
methods
in software and system...
”
Read Now
18
Formal
Methods
Teaching...
Published 2019
Springer International Publishing
“
..., FMTea 2019, Held as Part of the Third World Congress on
Formal
Methods
, FM 2019, Porto, Portugal...
”
Read Now
19
Integrated
Formal
Methods
: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
...: System Development -- Agile
Formal
Method
Engineering -- An Automated Failure Mode and Effect Analysis...
”
Read Now
20
Integrated
Formal
Methods
: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
by
Boiten, Eerke
Published 2004
Springer Berlin Heidelberg
1
2
3
4
5
6
7
8
9
10
11
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 ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22formal+method%22&type=AllFields
Send by Email
×
Loading...