Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Formal Approaches to Computing and Information Technology (FACIT)"
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 approaches »
formal approach
Showing
1
-
15
of
15
Search:
'"Formal Approaches to Computing and Information Technology (FACIT)"'
,
query time: 1.75s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Systems, Models and Measures
by
Kaposi, Agnes
,
Myers, Margaret
Published 1994
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
2
Formal Methods and Object Technology
Published 1996
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
3
Formal Object-Oriented Development
by
Lano, Kevin
Published 1995
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
4
A Theory and Practice of Program Development
by
Andrews, Derek J.
Published 1997
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
5
Constructing Correct Software
by
Cooke, John
Published 1998
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
6
Formal Methods in Human-Computer Interaction
Published 1998
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
7
High-Integrity System Specification and Design
by
Bowen, Jonathan P.
,
Hinchey, Michael G.
Published 1999
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
8
On the Refinement Calculus
Published 1992
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
9
Notations for Software Design
by
Feijs, Loe M.G.
,
Jonkers, Hans B.M.
,
Middelburg, Cornelis A.
Published 1994
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
10
Software Specification Methods : An Overview Using a Case Study
Published 2001
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
11
Industrial-Strength Formal Methods in Practice
Published 1999
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
12
Program Development by Refinement : Case Studies Using the B Method
Published 1999
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
13
The B Language and Method : A Guide to Practical Formal Development
by
Lano, Kevin
Published 1996
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
14
Refinement in Z and Object-Z : Foundations and Advanced Applications
by
Derrick, John
,
Boiten, Eerke A.
Published 2001
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Read Now
15
Proof in VDM: Case Studies
Published 1998
Springer London
“
...
Formal
Approaches
to
Computing
and
Information
Technology
(
FACIT
)...
”
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
13
004 - Data processing & computer science
1
515 - Analysis
1
Language
English
15
Collection
Springer Book Archives -2004
15
Author
Bowen, Jonathan P.
2
Hinchey, Michael G.
2
Lano, Kevin
2
Andrews, Derek J.
1
Bicarregui, Juan C.
1
Boiten, Eerke A.
1
more ...
Cooke, John
1
Derrick, John
1
Feijs, Loe M.G.
1
Frappier, Marc
1
Goldsack, Stephen J.
1
Habrias, Henri
1
Jonkers, Hans B.M.
1
Kaposi, Agnes
1
Kent, Stuart J.H.
1
Middelburg, Cornelis A.
1
Morgan, Carroll
1
Myers, Margaret
1
Palanque, Philippe
1
Paterno, Fabio
1
Sekerinski, Emil
1
Sere, Kaisa
1
Vickers, Trevor
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22Formal+Approaches+to+Computing+and+Information+Technology+%28FACIT%29%22&type=Series
Send by Email
×
Loading...