DEDUCTIVE PROGRAM DESIGN by Manfred Broy (Editor) ( 9783642648496 )

Item Details

Title:

DEDUCTIVE PROGRAM DESIGN

By:

Format:

Paperback

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

ISBN 10:

3642648495

ISBN 13:

9783642648496

Publisher:

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG

Pub. date:

26 September, 2011

Edition:

Softcover reprint of the original 1st ed. 1996

Series:

Nato ASI Subseries F: 152

Pages:

470

Synopsis:

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

Illustrations:

IX, 470 p.

Publication:

Germany

Imprint:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Returns:

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)

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)

INDUSTRIE 4.0 (HB)

INFORMATIK (PB)

INFORMATIK UND MATHEMATIK (PB)

INFORMATIK. EINE GRUNDLEGENDE EINFUHRUNG (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)

MODELS, ALGEBRAS AND LOGIC OF ENGINEERING SOFTWARE (HB)

PERSPECTIVES OF SYSTEM INFORMATICS (PB)

PERSPECTIVES OF SYSTEMS INFORMATICS (PB)

PROGRAM CONSTRUCTION (PB)

PROGRAM DESIGN CALCULI (HB)

PROGRAM DESIGN CALCULI (PB)

PROGRAMMING AND MATHEMATICAL METHOD (PB)

PROJEKTORGANISATION UND MANAGEMENT IM SOFTWARE ENGINEERING (HB)

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)

THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (HB)

THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (PB)

UBUNGEN ZUR EINFUHRUNG IN DIE INFORMATIK (HB)

VDI-LEXIKON INFORMATIK UND KOMMUNIKATIONSTECHNIK

TOP SELLERS IN THIS CATEGORY

Learn Adobe Animate CC for Interactive Media (Paperback)

By: Joseph Labrecque, Rob Schwartz

Pearson Education (US)

Our Price : £11.10

Level Up! The Guide to Great Video Game Design (Paperback)

By: Scott Rogers

John Wiley & Sons Inc

Our Price : £20.44

Learning to Program in Python (Paperback)

By: P. M. Heathcote

PG Online Limited

Our Price : £13.30

The Gamer's Brain (Paperback)

By: Celia Hodent

Taylor & Francis Inc

Our Price : £44.09

Advanced Android Application Development (Paperback)

By: Joseph Annuzzi, Lauren Darcey, Shane Conder

Pearson Education (US)

Our Price : £13.35

BROWSE FOR BOOKS IN RELATED CATEGORIES

COMPUTING AND INFORMATION TECHNOLOGY

computer programming