Catalogo · 9780387353586
Programming Concepts and Methods PROCOMET '98
ISBN 9780387353586
This book presents state-of-the-art discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of important topics in this field, including compositional approaches to specification and verification, the design of verification support tools and practical software engineering issues in using programming concepts and methods.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Beauty Is Our Business
W. H. J. Feijen, A.J.M. van Gasteren, David Gries, J. Misra
Programming Methodology
David Gries
The Science of Programming
David Gries
Multimedia introduction to programming using Java
David Gries
A Logical Approach to Discrete Math
David Gries, Fred B. Schneider
The Science of Programming (Monographs in Computer Science)
David Gries
ProgramLive
David Gries, Paul Gries, Petra Hall
Programlive Stand Alone Cd with Jbuilder 3. 5 Found Ation Compiler V3. 5 Set
Paul Gries, David Gries
Programlive Companion Cd with Jbuilder 3. 5 Foundat Ion Compiler V3. 5 Set
Paul Gries, David Gries
ProgramLive CD
David Gries, Paul Gries, Petra Hall
Program Live Stand Alone Cd with Sun Java 2 Sdk Su N Forte Text Pad and Bluej Set
Paul Gries, David Gries
Dostoevsky and Kant
Evgenia Cherkasova
Verba volant · scripta manent