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), G. Schmidt (Editor)
Format: Paperback

List price: £69.99


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 9027714622
ISBN 13: 9789027714626
Publisher: SPRINGER
Edition: Softcover reprint of the original 1st ed. 1982
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: Long ago~ the welfare of a sooiety used to depend heavily on the skill and dedioation of its oraftsmen - the miller~ the blaok- smith~ the oobbler and the tailor. These oraftsmen aoquired their skill by a long and poorly paid apprentioeship to some master of their oraft. They learned by imitation and experienoe~ and by tri- al and error. They did not read books or study soienoe~ they knew nothing of the theory of their subjeot~ the geometry of their ru- dimentary drawings~ nor the mathematios underlying their primitive oaloulations. They oould not explain how or why they used their methods; yet they worked effeotively by themselves or in small teams to oomplete their tasks at a predioted oost~ to a fairly well predioted timesoale~ and usually to the satisfaotion of their olients. The programmer of today shares many of these attributes of a oraftsman. He learns his oraft by apprentioeship in an existing team of programmers - but his apprentiaeship is highZy paid and usually very short. He develops his skill by trial; but mostly by error. He does not study theory~ or even read books on Computer Soience.He knows nothing of the logical and mathematical founda- tions of his profession; and he hates to explain or justifY~ or even to dooument what he has done.
Illustrations: biography
Publication: Netherlands
Imprint: Kluwer Academic Publishers
Returns: Non-returnable
Some other items by this author:
ADVANCED MODEL-BASED ENGINEERING OF EMBEDDED SYSTEMS (HB)
AUTOMOTIVE SOFTWARE-CONNECTED SERVICESIN MOBILE NETWORKS (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)
DEDUCTIVE PROGRAM DESIGN (HB)
DEDUCTIVE PROGRAM DESIGN (PB)
DIE GESTUTE UND MEIEREIEN SEINER MAJESTAT DES KONIGS WILHELM VON WURTTEMBERG...
EINFUHRUNG IN DIE SOFTWARETECHNIK (HB)
ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS (HB)
ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS (PB)
ERINNERUNGEN AN ROBERT SAUER (PB)
FACHTAGUNG PROZESSRECHNER 1977 (PB)
FORMAL METHODS IN PROGRAMMING AND THEIR APPLICATIONS (PB)
FORMAL SYSTEMS SPECIFICATION (PB)
GRUNDLAGEN DER REGELUNGSTECHNIK (PB)
HANDBOOK ON ARCHITECTURES OF INFORMATION SYSTEMS (HB)
HANDLING OF RADIUM AND URANIUM CONTAMINATED WASTE PILES AND OTHER WASTES FROM PHOSPHATE ORE PROCESSING NUCLEAR SCIENCE AND TECHNOLOGY: NUCLEAR SCIENCE AND TECHNOLOGY [SERIES] (PB)
HISTORY OF NATO (HB)
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)
KORSO: METHODS, LANGUAGES, AND TOOLS FOR THE CONSTRUCTION OF CORRECT SOFTWARE (PB)
LES SONS DU LANGAGES ET LEUR REPRESENTATION DANS UN ALPHABET LINGUISTIC GENERAL...
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)
MEDIKAMENTOSE BEHANDLUNG DES POSTINFARKTPATIENTEN NACH CAST (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)
MODELS, ALGEBRAS AND LOGIC OF ENGINEERING SOFTWARE (HB)
NATO (NOT FOR INDIVIDUAL SALE) (PB)
NON-LINEAR VIBRATIONS
NON-LINEAR VIBRATIONS (HB)
NON-LINEAR VIBRATIONS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
POLYNOMIAL-TIME APPROXIMATION SCHEMES FOR THE OPEN SHOP SCHEDULING PROBLEM WITH NON-AVAILABILITY CONSTRAINTS (PB)
PROGRAM CONSTRUCTION (PB)
PROGRAM DESIGN CALCULI (HB)
PROGRAM DESIGN CALCULI (PB)
PROGRAMMING AND MATHEMATICAL METHOD (PB)
PROJEKTORGANISATION UND MANAGEMENT IM SOFTWARE ENGINEERING (HB)
REAL TIME CONTROL OF LARGE SCALE SYSTEMS (PB)
REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING (PB)
SATELLITE BEACONS OBSERVATIONS FROM 1964 TO 1970 (PB)
SOFTWARE PIONEERS
SOFTWARE PIONEERS (PB)
SOFTWARE-ENTWICKLUNG FUR KOMMUNIKATIONSNETZE
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (HB)
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (PB)
SPEECH AND AUDIO PROCESSING IN ADVERSE ENVIRONMENTS (HB)
THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (HB)
THURINGEN
UBER DIE STABILITAT DES EINFACHEN BEDIENUNGSKANALS (PB)
UBUNGEN ZUR EINFUHRUNG IN DIE INFORMATIK (HB)
VDI-LEXIKON INFORMATIK UND KOMMUNIKATIONSTECHNIK

TOP SELLERS IN THIS CATEGORY
Power of 2 (Paperback)
Power of 2 Publishing
Our Price : £21.60
more details
Plus 1 (Paperback)
Power of 2 Publishing
Our Price : £18.00
more details
Edexcel AS and A level Mathematics Pure Mathematics Year 1/AS Textbook + e-book (Mixed media product)
By:
Pearson Education Limited
Our Price : £23.67
more details
Edexcel A level Mathematics Pure Mathematics Year 2 Textbook + e-book (Mixed media product)
By:
Pearson Education Limited
Our Price : £23.67
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
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket