PROGRAM CONSTRUCTION by F. L. Bauer, Manfred Broy, S. L. Gerhart ( 9783540092513 )

Item Details

Title:

PROGRAM CONSTRUCTION
INTERNATIONAL SUMMER SCHOOL

By:

F. L. Bauer, Manfred Broy, S. L. Gerhart

Format:

Paperback

List price:	£42.99
We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10:

354009251X

ISBN 13:

9783540092513

Publisher:

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG

Pub. date:

1 June, 1979

Edition:

1979 ed.

Series:

Lecture Notes in Computer Science No. 69

Pages:

664

Illustrations:

biography

Publication:

Germany

Imprint:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Returns:

Returnable

Some other items by this author:

A LOGICAL APPROACH TO DISCRETE MATH (HB)

A LOGICAL APPROACH TO DISCRETE MATH (PB)

ADVANCED MODEL-BASED ENGINEERING OF EMBEDDED SYSTEMS (HB)

ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT (HB)

ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT (PB)

AUTOMOTIVE SOFTWARE-CONNECTED SERVICESIN MOBILE NETWORKS (PB)

BEAUTY IS OUR BUSINESS (PB)

CALCULATIONAL SYSTEM DESIGN (HB)

COMPILER CONSTRUCTION (PB)

CONSTRUCTIVE METHODS IN COMPUTING SCIENCE (HB)

CONSTRUCTIVE METHODS IN COMPUTING SCIENCE (PB)

CONTROL FLOW AND DATA FLOW CONCEPTS OF (HB)

CONTROL FLOW AND DATA FLOW: CONCEPTS OF DISTRIBUTED PROGRAMMING (PB)

DECRYPTED SECRETS (HB)

DEDUCTIVE PROGRAM DESIGN (HB)

DEDUCTIVE PROGRAM DESIGN (PB)

DIE RECHENMASCHINEN VON KONRAD ZUSE (PB)

EINFUHRUNG IN DIE SOFTWARETECHNIK (HB)

ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS (HB)

ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS (PB)

ERINNERUNGEN AN ROBERT SAUER (PB)

EXPLORATIONS IN QUANTUM COMPUTING (HB)

FEMINIST PERSPECTIVES IN PHILOSOPHY (HB)

FORMAL METHODS IN PROGRAMMING AND THEIR APPLICATIONS (PB)

FORMAL SYSTEMS SPECIFICATION (PB)

FOUNDATIONS OF SECURE COMPUTATION (HB)

IMPROVING THE SAFETY AND QUALITY OF MILK

IMPROVING THE SAFETY AND QUALITY OF MILK (HB)

IMPROVING THE SAFETY AND QUALITY OF MILK (PB)

INDUSTRIE 4.0 (HB)

INFORMATIK (PB)

INFORMATIK UND MATHEMATIK (PB)

INFORMATIK. EINE GRUNDLEGENDE EINFUHRUNG (PB)

INTERNET ADDICTION IN PSYCHOTHERAPY (PB)

KORSO: METHODS, LANGUAGES, AND TOOLS FOR THE CONSTRUCTION OF CORRECT SOFTWARE (PB)

KRYPTOLOGIE: METHODEN UND MAXIMEN (PB)

LANGUAGE HIERARCHIES AND INTERFACES (PB)

LARCH (HB)

LOGIC AND ALGEBRA OF SPECIFICATION (HB)

LOGIC OF PROGRAMMING AND CALCULI OF DISCRETE DESIGN (HB)

LOGIC OF PROGRAMMING AND CALCULI OF DISCRETE DESIGN (PB)

LOGIC, ALGEBRA AND COMPUTATION (PB)

LOGIC, ALGEBRA, AND COMPUTATION (PB)

LOGISCHE UND METHODISCHE GRUNDLAGEN DER PROGRAMM- UND SYSTEMENTWICKLUNG (PB)

LOOSE ON LIQUIDATORS (HB)

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)

MODELS, ALGEBRAS AND LOGIC OF ENGINEERING SOFTWARE (HB)

MULTIMEDIA INTRODUCTION TO PROGRAMMING USING JAVA (PB)

ON A METHOD OF MULTIPROGRAMMING (PB)

PERSPECTIVES OF SYSTEM INFORMATICS (PB)

PERSPECTIVES OF SYSTEMS INFORMATICS (PB)

PHYSIKALISCHE UND ELEKTROTECHNISCHE GRUNDLAGEN FUR INFORMATIKER (PB)

PROGRAM DESIGN CALCULI (HB)

PROGRAM DESIGN CALCULI (PB)

PROGRAM DEVELOPMENT IN JAVA (HB)

PROGRAM TRANSFORMATION AND PROGRAMMING ENVIRONMENTS (PB)

PROGRAMLIVE

PROGRAMLIVE COMPANION CD AND JBUILDER 3.5 FOUNDATION COMPILER (CD)

PROGRAMLIVE STAND ALONE CD / SUN JAVA 2 SDK SUN FORTE TEXT PAD / BLUEJ SET (CD)

PROGRAMLIVE STAND ALONE CD AND JBUILDER 3.5 FOUNDATION COMPILER V3.5 SET (CD)

PROGRAMMING AND MATHEMATICAL METHOD (PB)

PROGRAMMING CONCEPTS AND METHODS PROCOMET '98 (HB)

PROGRAMMING CONCEPTS AND METHODS PROCOMET '98 (PB)

PROGRAMMING METHODOLOGY (HB)

PROGRAMMING METHODOLOGY (PB)

PROJEKTORGANISATION UND MANAGEMENT IM SOFTWARE ENGINEERING (HB)

REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING (PB)

SOFTWARE ENGINEERING (PB)

SOFTWARE PIONEERS

SOFTWARE PIONEERS (PB)

SOFTWARE-ENTWICKLUNG FUR KOMMUNIKATIONSNETZE

SOILS, STONES AND SYMBOLS (PB)

SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (HB)

SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (PB)

THE COMPUTER - MY LIFE (PB)

THE MUNICH PROJECT CIP (PB)

THE PROGRAMLIVE COMPANION

THE SCIENCE OF PROGRAMMING (HB)

THE SCIENCE OF PROGRAMMING (PB)

THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (HB)

THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (PB)

UBUNGEN ZUR EINFUHRUNG IN DIE INFORMATIK (HB)

UNDERSTANDING PATHOGEN BEHAVIOUR (HB)

UNDERSTANDING PATHOGEN BEHAVIOUR VIRULENCE, STRESS RESPONSE AND RESISTANCE (HB)

VDI-LEXIKON INFORMATIK UND KOMMUNIKATIONSTECHNIK

TOP SELLERS IN THIS CATEGORY

OCR AS and A Level Computer Science (Paperback)

By: P. M. Heathcote, R. S. U. Heathcote

PG Online Limited

Our Price : £32.30

BTEC First in I&CT Revision Workbook (Paperback)

By:

Pearson Education Limited

Our Price : £5.54

Algorithms to Live By (Paperback)

By: Brian Christian, Tom Griffiths

HarperCollins Publishers

Our Price : £8.02

BTEC First in I&CT (Paperback)

By:

Pearson Education Limited

Our Price : £5.54

User Story Mapping (Paperback)

By: Jeff Patton, Peter Economy, Martin Fowler

O'Reilly Media, Inc, USA

Our Price : £23.35

BROWSE FOR BOOKS IN RELATED CATEGORIES

COMPUTING AND INFORMATION TECHNOLOGY

general theory of computing