logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Programming Concepts and Methods Procomet 98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet 98) 8 12 June 1998, Shelter Island, New York, USA - David Gries, Willem-Paul de Roever
Programming Concepts and Methods Procomet 98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet 98) 8 12 June 1998, Shelter Island, New York, USA
by: (author) (author)
Format: paperback
ISBN: 9781475762990 (1475762992)
Publisher: Springer
Pages no: 486
Edition language: English
Bookstores:
Books by David Gries
A Logical Approach to Discrete Math (Monographs in Computer Science) - David Gries, Fred B. Schneider, James J. Horning
Programlive Workbook and CD [With CDROM] - David Gries, Paul Gries
The Science of Programming (Monographs in Computer Science) - David Gries
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science) - Andrzej Blikle, D. Barstow, W. Brauer, P. Brinch Hansen, David Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth
A Logical Approach To Discrete Math - Da... A Logical Approach To Discrete Math - David Gries, Fred B. Schneider
Programming Concepts and Methods Procomet 98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet 98) 8 12 June 1998, Shelter Island, New York, USA - David Gries, Willem-Paul de Roever
Compiler Construction for Digital Computers - David Gries
Introduction to structured programming, ... Introduction to structured programming, using PL/I and SP/k (Winthrop computer systems series) - Richard Walter Conway, David Gries, D. B. Wortman
Programming Methodology: A Collection of... Programming Methodology: A Collection of Articles by Menmbers of Ifip Wg 2.3 - David Gries
A Primer on Pascal - Richard Conway, Dav... A Primer on Pascal - Richard Conway, David Gries, E. Carl Zimmerman
Books by Willem-Paul de Roever
Compositionality: The Significant Difference: International Symposium, Compos'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures - Hans Langmaack, Willem-Paul de Roever, W.P. de Roever
Data Refinement: Model-Oriented Proof Methods and Their Comparison - Willem-Paul de Roever, Kai Engelhardt
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science) - Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures - Frank S. de Boer, Susanne Graf, Willem-Paul de Roever
Compositionality: The Significant Differ... Compositionality: The Significant Difference: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures (Lecture Notes in Computer Science) - Willem-Paul de Roever, Hans Langmaack, Amir Pnueli
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - Willem-Paul de Roever
Programming Concepts and Methods Procomet 98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet 98) 8 12 June 1998, Shelter Island, New York, USA - David Gries, Willem-Paul de Roever
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.