Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (20 chapters)
-
Applications and automated theories
-
Putting theories into practice by automation
-
Programming circuits
-
Security and Keeping secrets
-
Keywords
About this book
Reviews
From the reviews:
"The book represents a collection of essays concerning the various topics of programming methodology. … A sample selected above from twenty essays of the book shows the topics cover relatively broad spectrum of programming methodology. … Each essay concludes with a good set of references. This interesting book may be recommended namely to readers actively working in the field." (Ivan Martinec, Zentralblatt MATH, Vol. 1030, 2004)
Editors and Affiliations
Bibliographic Information
Book Title: Programming Methodology
Editors: Annabelle McIver, Carroll Morgan
Series Title: Monographs in Computer Science
DOI: https://doi.org/10.1007/978-0-387-21798-7
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2003
Hardcover ISBN: 978-0-387-95349-6Published: 01 October 2002
Softcover ISBN: 978-1-4419-2964-8Published: 03 December 2010
eBook ISBN: 978-0-387-21798-7Published: 06 December 2012
Series ISSN: 0172-603X
Series E-ISSN: 2512-5486
Edition Number: 1
Number of Pages: XVIII, 470
Topics: Programming Techniques, Software Engineering, Programming Languages, Compilers, Interpreters