search result

Cover von The logic of programming
Author: Hehner, Eric C. R. Search for this author
Year: 1987
Publisher: Englewood Cliffs, Prentice Hall
Series: Prentice Hall International series in computer science
Media group: MONOGRAPHIE
Cover von Using Z
specification, refinement, and proof
Author: Woodcock, James C. P.; Davies, Jim Search for this author
Year: 1996
Publisher: London, Prentice Hall
Series: Prentice Hall international series in computer science
Media group: MONOGRAPHIE
Cover von Introduction to the theory of complexity
Author: Bovet, Daniel Pierre; Crescenzi, Pierluigi Search for this author
Year: 1994
Publisher: New York, Prentice Hall
Series: Prentice Hall international series in computer science
Media group: MONOGRAPHIE
Cover von Essays in computing science
Search for this author
Year: 1989
Publisher: New York, Prentice Hall
Series: Prentice Hall international series in computer science
Media group: MONOGRAPHIE
Cover von Communicating sequential processes
Author: Hoare, Charles Anthony R. Search for this author
Year: 1993
Publisher: New York, Prentice Hall
Series: Prentice Hall international series in computer science
Media group: MONOGRAPHIE
Cover von Micro-Prolog
programming in logic
Author: Clark, Keith L.; MacCabe, Frank G. Search for this author
Year: 1984
Publisher: Englewood Cliffs, Prentice Hall
Series: Prentice Hall international series in computer science
Media group: MONOGRAPHIE
Cover von Functional programming
application and implementation
Author: Henderson, Peter Search for this author
Year: 1980
Publisher: Hemel Hempstead, Prentice Hall
Series: Prentice Hall International Series in Computer Science
Media group: MONOGRAPHIE
Cover von Specification case studies
Search for this author
Year: 1993
Publisher: New York, Prentice Hall
Series: Prentice Hall International Series in Computer Science
Media group: MONOGRAPHIE
Cover von Parallel numerical algorithms
Author: Freeman, T. Len; Phillips, Chris Search for this author
Year: 1992
Publisher: New York, Prentice Hall
Series: Prentice Hall International Series in Computer Science
Media group: MONOGRAPHIE
Cover von Programming with standard ML
Author: Myers, Colin; Clack, Chris; Poon, Ellen Search for this author
Year: 1993
Publisher: New York, Prentice Hall
Series: Prentice Hall International Series in Computer Science
Media group: MONOGRAPHIE
OPEN V 11.1.0.0