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: CONTROL FLOW AND DATA FLOW: CONCEPTS OF DISTRIBUTED PROGRAMMING
INTERNATIONAL SUMMER SCHOOL
By: Manfred Broy, Manfred Broy (Editor), F. L. Bauer
Format: Paperback

List price: £114.00


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

ISBN 10: 3540170820
ISBN 13: 9783540170822
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 1 December, 1986
Edition: Softcover reprint of the original 1st ed. 1986
Series: Springer Study Edition
Pages: 525
Description: Proceedings of the NATO Advanced Study Institute on Control Flow and Data Flow: Concepts of Distributed Programming held at Marktoberdorf, Federal Republic of Germany, July 31 - August 12, 1984
Synopsis: In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for computing sci enti sts. The foundati ons of di stributed programming compri se all the fasci nating questions of computing science: the development of adequate com putational , conceptual and semantic model s for distributed systems, specification methods, verification techniques, transformation rules, the development of suitable representations by programming languages, evaluation and execution of programs describing distributed systems. Being the 7th in a series of ASI Summer Schools at Marktoberdorf, these lectures concentrated on distributed systems. Already during the previous Summer School s at Marktoberdorf aspects of di stributed systems were important periodical topics. The rising interest in distributed systems, their design and implementation led to a considerable amount of research in this area.This is impressively demonstrated by the broad spectrum of the topics of the papers in this vol ume, although they are far from being comprehensive for the work done in the area of distributed systems. Distributed systems are extraordinarily complex and allow many distinct viewpoints. Therefore the literature on distributed systems sometimes may look rather confusing to people not working in the field. Nevertheless there is no reason for resignation: the Summer School was able to show considerable convergence in ideas, approaches and concepts for distributed systems.
Illustrations: 11 black & white illustrations, biography
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)
ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT (HB)
ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT (PB)
AUTOMOTIVE SOFTWARE-CONNECTED SERVICESIN MOBILE NETWORKS (PB)
CALCULATIONAL SYSTEM DESIGN (HB)
CONSTRUCTIVE METHODS IN COMPUTING SCIENCE (HB)
CONSTRUCTIVE METHODS IN COMPUTING SCIENCE (PB)
CONTROL FLOW AND DATA FLOW CONCEPTS OF (HB)
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)
FORMAL METHODS IN PROGRAMMING AND THEIR APPLICATIONS (PB)
FORMAL SYSTEMS SPECIFICATION (PB)
FOUNDATIONS OF SECURE COMPUTATION (HB)
INDUSTRIE 4.0 (HB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
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)
KRYPTOLOGIE: METHODEN UND MAXIMEN (PB)
LANGUAGE HIERARCHIES AND INTERFACES (PB)
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)
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 SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PHYSIKALISCHE UND ELEKTROTECHNISCHE GRUNDLAGEN FUR INFORMATIKER (PB)
PROGRAM CONSTRUCTION (PB)
PROGRAM DESIGN CALCULI (HB)
PROGRAM DESIGN CALCULI (PB)
PROGRAM TRANSFORMATION AND PROGRAMMING ENVIRONMENTS (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)
THE COMPUTER - MY LIFE (PB)
THE MUNICH PROJECT CIP (PB)
THE MUNICH PROJECT CIP (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



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