pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY
LECTURE NOTES OF AN INTERNATIONAL SUMMER SCHOOL, DIRECTED BY F. L. BAUER, E. W. DIJKSTRA AND C. A. R. HOARE
By: Manfred Broy (Editor), Gunther Schmidt (Editor)
Format: Hardback

List price: £72.00


We believe that this item is permanently unavailable, and so we cannot source it.

ISBN 10: 9027714606
ISBN 13: 9789027714602
Publisher: SPRINGER
Edition: 1982 ed.
Series: NATO Science Series C 91
Pages: 672
Description: Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Munich and sponsored by the NATO Scientific Affairs Division, Germany, 1981
Synopsis: Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Munich and sponsored by the NATO Scientific Affairs Division, Germany, 1981"
Illustrations: biography
Publication: Netherlands
Imprint: Kluwer Academic Publishers
Returns: Returnable
Some other items by this author:
ADVANCED MODEL-BASED ENGINEERING OF EMBEDDED SYSTEMS (HB)
APPROXIMATE APPROXIMATIONS (HB)
AUTOMOTIVE SOFTWARE-CONNECTED SERVICESIN MOBILE NETWORKS (PB)
AUTONOME MOBILE SYSTEME (PB)
AUTONOME MOBILE SYSTEME 1996 (PB)
CALCULATIONAL SYSTEM DESIGN (HB)
CONSTRUCTIVE METHODS IN COMPUTING SCIENCE (HB)
CONTROL FLOW AND DATA FLOW CONCEPTS OF (HB)
CONTROL FLOW AND DATA FLOW: CONCEPTS OF DISTRIBUTED PROGRAMMING (PB)
DAS WURZBURGISCHE HERZOGTUM UND DIE GRAFEN UND HERREN VON OSTFRANKEN (PB)
DAS WURZBURGISCHE HERZOGTUM UND DIE GRAFEN UND HERREN VON OSTFRANKEN VOM 11. BIS ZUM 17. JAHRHUNDERT
DEDUCTIVE PROGRAM DESIGN (HB)
DEDUCTIVE PROGRAM DESIGN (PB)
EINFUHRUNG IN DIE SOFTWARETECHNIK (HB)
ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS (HB)
ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS (PB)
FORMAL METHODS IN PROGRAMMING AND THEIR APPLICATIONS (PB)
FORMAL SYSTEMS SPECIFICATION (PB)
FORTSCHRITTE IN DER MESS-UND AUTOMATISIERUNGSTECHNIK DURCH INFORMATIONSTECHNIK
GENERISK (HB)
GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE (PB)
GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE (PB)
GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE (PB)
INDUSTRIE 4.0 (HB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK UND MATHEMATIK (PB)
INFORMATIK. EINE GRUNDLEGENDE EINFUHRUNG (PB)
INFORMATIK. EINE GRUNDLEGENDE EINFUHRUNG (PB)
INFORMATION PROCESSING IN AUTONOMOUS MOBILE ROBOTS (PB)
KORSO: METHODS, LANGUAGES, AND TOOLS FOR THE CONSTRUCTION OF CORRECT SOFTWARE (PB)
LOGIC OF PROGRAMMING AND CALCULI OF DISCRETE DESIGN (HB)
LOGIC OF PROGRAMMING AND CALCULI OF DISCRETE DESIGN (PB)
LOGISCHE UND METHODISCHE GRUNDLAGEN DER PROGRAMM- UND SYSTEMENTWICKLUNG (PB)
MATHEMATICAL METHODS IN PROGRAM DEVELOPMENT (HB)
MATHEMATICAL METHODS IN PROGRAM DEVELOPMENT (PB)
METHODS OF PROGRAMMING (PB)
MODEL-BASED TESTING OF REACTIVE SYSTEMS (PB)
MODEL-DRIVEN DEVELOPMENT OF RELIABLE AUTOMOTIVE SERVICES (PB)
MODELLBILDUNG IN DER INFORMATIK (HB)
MODELLBILDUNG IN DER INFORMATIK (PB)
MODELLING POTENTIAL MALARIA SPREAD IN GERMANY BY USE OF CLIMATE CHANGE PROJECTIONS (PB)
MODELS, ALGEBRAS AND LOGIC OF ENGINEERING SOFTWARE (HB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PLANT PHENOLOGY AS A BIOMONITOR FOR CLIMATE CHANGE IN GERMANY (PB)
PROGRAM CONSTRUCTION (PB)
PROGRAM DESIGN CALCULI (HB)
PROGRAM DESIGN CALCULI (PB)
PROGRAMMING AND MATHEMATICAL METHOD (PB)
PROGRESS IN SYSTEM AND ROBOT ANALYSIS AND CONTROL DESIGN (PB)
PROJEKTORGANISATION UND MANAGEMENT IM SOFTWARE ENGINEERING (HB)
RELATIONAL MATHEMATICS (HB)
RELATIONAL METHODS IN COMPUTER SCIENCE (PB)
RELATIONAL TOPOLOGY (PB)
RELATIONEN UND GRAPHEN (PB)
RELATIONS AND GRAPHS (HB)
RELATIONS AND GRAPHS (PB)
REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING (PB)
SOFTWARE PIONEERS
SOFTWARE PIONEERS (PB)
SOFTWARE-ENTWICKLUNG FUR KOMMUNIKATIONSNETZE
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (HB)
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (PB)
SYSTEM FAULT DIAGNOSTICS, RELIABILITY AND RELATED KNOWLEDGE-BASED APPROACHES (HB)
SYSTEM FAULT DIAGNOSTICS, RELIABILITY AND RELATED KNOWLEDGE-BASED APPROACHES (HB)
SYSTEM FAULT DIAGNOSTICS, RELIABILITY AND RELATED KNOWLEDGE-BASED APPROACHES (PB)
SYSTEM FAULT DIAGNOSTICS, RELIABILITY AND RELATED KNOWLEDGE-BASED APPROACHES (PB)
THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (PB)
THEORY AND APPLICATIONS OF RELATIONAL STRUCTURES AS KNOWLEDGE INSTRUMENTS (PB)
THEORY AND APPLICATIONS OF RELATIONAL STRUCTURES AS KNOWLEDGE INSTRUMENTS (PB)
UBUNGEN ZUR EINFUHRUNG IN DIE INFORMATIK (HB)
VDI-LEXIKON INFORMATIK UND KOMMUNIKATIONSTECHNIK

TOP SELLERS IN THIS CATEGORY
Plus 1 (Paperback)
Power of 2 Publishing
Our Price : £18.00
more details
Power of 2 (Paperback)
Power of 2 Publishing
Our Price : £21.60
more details
Mental Arithmetic 6 (Paperback)
Schofield & Sims Ltd
Our Price : £4.21
more details
Maths Dictionary (Paperback)
Newby Books
Our Price : £3.56
more details
Chaos (Paperback)
Vintage Publishing
Our Price : £9.48
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 MATHEMATICS AND SCIENCE
 mathematics


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
Ramadan and Eid al-Fitr A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C... The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket