Showing
1 - 1
results of
1
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Guiho, G.D.
Search Results - Guiho, G.D.
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Exception Handling: Formal Specification and Systematic Program Construction
by
Bidoit, M.
,
Biebow, B.
,
Gaudel, M.-C.
,
Gresse, C.
,
Guiho, G.D.
Published in
IEEE transactions on software engineering
Get full text
Items that cite this one
Article
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.
Limit To
Peer Reviewed
1 results
1
Full Text
1 results
1
Format
Articles
1 results
1
Journal Title
Ieee Transactions On Software Engineering
1 results
1
Subjects
Abstract Data Types
1 results
1
Algebra
1 results
1
Algebraic Specification
1 results
1
Applications
1 results
1
Computer Languages
1 results
1
Computer Programming
1 results
1
Computer Science
1 results
1
Computer Science, Software Engineering
1 results
1
Construction
1 results
1
Construction Industry
1 results
1
Context
1 results
1
Contracts
1 results
1
Decomposition Schemes
1 results
1
Engineering
1 results
1
Engineering, Electrical & Electronic
1 results
1
Error Handling
1 results
1
Experiments
1 results
1
Formal Specifications
1 results
1
Industrial Experiment
1 results
1
Language
1 results
1
Year of Publication
From:
To:
Source
Ieee Electronic Library (Iel) Journals
1 results
1
Ieee Xplore All Journals
1 results
1
Abi/Inform Global
1 results
1