search result

Cover von Computer-aided verification
a special issue of formal methods in system design on computer-aided verification
Search for this author
Year: 1992
Publisher: Boston, Kluwer
Series: Formal methods in system design; 1. 1992, 2/3
Media group: SPECIAL ISSUE
Cover von Computer-aided verification
2nd international conference : New Brunswick, NJ, USA, June 18 - 21, 1990 : proceedings
Search for this author
Year: 1991
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 531
Media group: MONOGRAPHIE
Cover von Computer-aided prototyping
special issue
Search for this author
Year: 1996
Publisher: Boston, Kluwer
Series: Journal of systems integration : 6. 1996, 1/2
Media group: SPECIAL ISSUE
Cover von Computer-aided verification
Search for this author
Year: 1992
Publisher: Boston, Kluwer
Series: Formal methods in system design : 1. 1992, 2/3
Media group: MONOGRAPHIE
Cover von Computer-Aided Reasoning
ACL2 Case Studies
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Advances in formal methods; 4
Media group: MONOGRAPHIE
Cover von Computer-aided design
Author: Taylor, Dean L. Search for this author
Year: 1992
Publisher: Reading, Addison-Wesley-Longman
Media group: MONOGRAPHIE
Cover von Computer-aided reasoning
an approach
Author: Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother Search for this author
Year: 2000
Publisher: Boston, Kluwer
Series: Advances in formal methods; 3
Media group: MONOGRAPHIE
Cover von Computer-aided concurrent design
special issue
Search for this author
Year: 1996
Publisher: Oxford, Butterworth-Heinemann
Series: CAD : 28. 1996, 5
Media group: SPECIAL ISSUE
Cover von Computer-aided systems theory
a selection of papers from the fifth international workshop on computer aided systems theory : Innsbruck, Austria, May 22 - 25, 1995 : proceedings
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1030
Media group: MONOGRAPHIE
Cover von Computer-aided project management
a visual scheduling and management system
Author: Pollalis, Spiro N. Search for this author
Year: 1993
Publisher: Braunschweig, Vieweg
Media group: MONOGRAPHIE
OPEN V 11.1.0.0