Showing
1 - 2
results of
2
for search '
'
Skip to content
Login
English
Ελληνικά
Language
EBSCO Discovery Service
Custom Search
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Suggested Topics:
Remove Filter
Formal methods (Computer science)
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Suggested Topics:
Remove Filter
Formal methods (Computer science)
Search Results
Suggested Topics within your search.
Suggested Topics within your search.
Formal methods (Computer science)
Computer software
1
Specifications
1
Showing
1 - 2
results of
2
for search '
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Industrial-strength formal methods in practice
Published 1999
Book
Save to List
Saved in:
2
Software specification methods :
Published 2001
Book
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Institution
Aegean
2 results
2
Library
SYROS
2 results
2
Format
Book
2 results
2
Call Number
000 - Computer science, information, general works
2 results
2
Author
Bowen, J. P. (Jonathan Peter) 1956-
1 results
1
Frappier, Marc 1965-
1 results
1
Habrias, Henri
1 results
1
Hinchey, Michael G. (Michael Gerard) 1969-
1 results
1
Language
English
2 results
2
Year of Publication
From:
To: