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
881
-
900
of
1,149
Search:
'"formal methods"'
,
query time: 0.04s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
881
Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proce...
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... -- II: Papers Presented at 6thSPIN99 --
Formal
Methods
Adoption: What’s Working, What’s Not! -- Model...
”
Read Now
882
Correct System Design : Recent Insights and Advances
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Software for Programmable Logic Controllers --
Formal
Methods
for the International Space Station ISS...
”
Read Now
883
Logical Aspects of Computational Linguistics : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
“
.... The papers address a wide range of logical and
formal
methods
in computational linguistics with studies...
”
Read Now
884
Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany,...
Published 2005
Springer Netherlands
“
...,
formal
methods
have to serve the needs and the quality of advanced software engineering methods...
”
Read Now
885
Logic, Thought and Action
Published 2005
Springer Netherlands
“
... of dialogues and other language games, as well as
formal
methods
needed in logic or artificial intelligence...
”
Read Now
886
Degrees of Belief
Published 2009
Springer Netherlands
“
... students with a background in
formal
methods
and beginning graduate students, but they will also serve...
”
Read Now
887
Multi-Agent Programming : Languages, Platforms and Applications
Published 2005
Springer US
“
.... These programming languages have formal semantics and use heavy machinery based on
formal
methods
, but also provide...
”
Read Now
888
Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
Published 2009
Springer Netherlands
“
... to the field of formal epistemology, the area applying logical, probabilistic, game-theoretic and other
formal
...
”
Read Now
889
Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
“
... notions of proof and belief;
formal
methods
in software and hardware development; logical approach...
”
Read Now
890
Fundamental Approaches to Software Engineering : First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'9...
Published 1998
Springer Berlin Heidelberg
“
... of 59 submissions. Among the various fundamental software engineering issues addressed are
formal
...
”
Read Now
891
Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings
Published 1993
Springer Berlin Heidelberg
“
... as something for academics alone. Today, there is moreand more interest from industry in
formal
methods
based...
”
Read Now
892
Intelligent Agents IV: Agent Theories, Architectures, and Languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings
Published 1998
Springer Berlin Heidelberg
“
..., coordination planning and monitoring,
formal
methods
, theories, and architectures and methodologies. Like its...
”
Read Now
893
Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain,...
Published 1997
Springer Berlin Heidelberg
“
... in the field of
formal
methods
for real-time systems and distributed and concurrent systems are addressed...
”
Read Now
894
Formal Concept Analysis : Mathematical Foundations
by
Ganter, Bernhard
,
Wille, Rudolf
Published 1999
Springer Berlin Heidelberg
“
... examples. Since computers are being used ever more widely for knowledge processing,
formal
methods
...
”
Read Now
895
Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... for Liveness -- Counting Votes with
Formal
Methods
-- Agent-Oriented Programming: Where Do We Stand...
”
Read Now
896
MULTICORE SYSTEMS ON-CHIP
by
Abderazek, Ben Abadallah
Published 2010
Atlantis Press
“
... for hardware design. The main advantage of
formal
methods
is the possibility to prove the validity of essential...
”
Read Now
897
Leveraging Knowledge for Innovation in Collaborative Networks : 10th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2009, Thessaloniki, Greece, October 7-9, 2009, Pr...
Published 2009
Springer Berlin Heidelberg
“
... networks; performance management; agile business models; service-based systems;
formal
methods
; socio...
”
Read Now
898
Open Distributed Systems : On Concepts, Methods, and Design from a Logical Point of View
by
Gotzhein, Reinhard
Published 1993
Vieweg+Teubner Verlag
Table of Contents:
“
...
Formal
methods
in the system design process -- 1.1 A model for the system design process -- 1.2...
”
Read Now
899
Formal Descriptions of Developing Systems
Published 2003
Springer Netherlands
“
...A cutting-edge survey of
formal
methods
directed specifically at dealing with the deep mathematical...
”
Read Now
900
Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Published 2007
Springer Berlin Heidelberg
“
...Runtime veri?cation is a recent direction in
formal
methods
research, which is complementary...
”
40
41
42
43
44
45
46
47
48
49
50
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=45&lookfor=%22formal+methods%22&type=AllFields
Send by Email
×
Loading...