Book123

Technical A Connotational Theory of Program Structure (Lecture Notes in Computer Science)

A Connotational Theory of Program Structure (Lecture Notes in Computer Science) Publisher: SpringerNumber Of Pages: 186Publication Date: 1987-10-05Sales Rank: 4491057ISBN / ASIN: 3540182535EAN: 9783540182535Binding: Paperback ...

Science/Engineering Compiling Natural Semantics (Lecture Notes in Computer Science)

===Computer相关链接===[2007/1010][2007/1010][2007/1009][2007/1008][2007/1007]Compiling Natural Semantics (Lecture Notes in Computer Science) Publisher: Springer Number Of Pages: 240 Publication Date: 1999-06-11 Sales Rank: 3676285 ...

Programming Formal Syntax and Semantics of Java (Lecture Notes in Computer Science)

Formal Syntax and Semantics of Java (Lecture Notes in Computer Science) Publisher: Springer | ISBN: 3540661581 | edition 1999-07-20 | PDF | 404 pages | 18,03 mbJava, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, ...

Technical Algorithms and Data Structures: 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues)

ISBN: 3642033660 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 11th Algorithms and Data Structures Symposium, WADS 2009, held in Banff, Canada, in August 2009. The Algorithms and Data Structur ...

Technical Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science)

ISBN: 3540634754 Publisher: Springer Author: Description:This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have ...

Technical Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 (Lecture Notes in Computer Science)

ISBN: 3540102507 Publisher: Springer Author: Description:Download: