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
CATEGORY BROWSE
Arts

Agriculture

Biography

Business

Children's

Computing

Earth Sciences

Economics

Educational

Engineering

English Language Teaching (ELT)

Environment

Family

Fiction

Finance

Geography

Home

Humanities

Industry

Information

Information Technology

Interdisciplinary Subjects

Language

Law

Leisure Interests

Literature

Mathematics

Medicine

Planning

Practical Interests

Reference

Science

Social Sciences

Sport

Technology

Travel

Veterinary Science


ABOUT US
About Us
Contact Us
Terms & Conditions

Item Details
Title: FORMAL METHODS AND SOFTWARE DEVELOPMENT
PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT (TAPSOFT), BERLIN, MARCH 25-29, 1985
Volume: Volume 2
By: Hartmut Ehrig (Editor), Christiane Floyd (Editor), Maurice Nivat (Editor)
Format: Paperback

List price: £42.99


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

ISBN 10: 3540151990
ISBN 13: 9783540151999
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 1 March, 1985
Edition: 1985 ed.
Series: Lecture Notes in Computer Science No. 186
Pages: 476
Illustrations: biography
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST '91) (PB)
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST '93) (PB)
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (PB)
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (PB)
ALGEBRAIC SPECIFICATION TECHNIQUES AND TOOLS FOR SOFTWARE DEVELOPMENT: THE ACT APPROACH (HB)
CAAP '88 (PB)
CATEGORICAL METHODS IN COMPUTER SCIENCE (PB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: ESSAYS AND TUTORIALS (HB)
FEMINIST CHALLENGES IN THE INFORMATION AGE (PB)
FORMAL AND NATURAL COMPUTING (PB)
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (PB)
FUNDAMENTALS OF ALGEBRAIC GRAPH TRANSFORMATION (HB)
FUNDAMENTALS OF ALGEBRAIC GRAPH TRANSFORMATION (PB)
FUNDAMENTALS OF ALGEBRAIC SPECIFICATION (PB)
FUNDAMENTALS OF ALGEBRAIC SPECIFICATION (PB)
FUNDAMENTALS OF ALGEBRAIC SPECIFICATION 1 (HB)
FUNDAMENTALS OF ALGEBRAIC SPECIFICATION 2 (HB)
GRAPH AND MODEL TRANSFORMATION (HB)
GRAPH AND MODEL TRANSFORMATION (PB)
GRAPH GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE (PB)
GRAPH GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE (PB)
GRAPH TRANSFORMATION (PB)
GRAPH TRANSFORMATIONS (PB)
GRAPH TRANSFORMATIONS (PB)
GRAPH TRANSFORMATIONS (PB)
GRAPH TRANSFORMATIONS (PB)
GRAPH TRANSFORMATIONS IN COMPUTER SCIENCE (PB)
GRAPH-GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE (PB)
GRAPH-GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE AND BIOLOGY (PB)
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATIONS, VOL 2: APPLICATIONS, LANGUAGES AND TOOLS (HB)
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATIONS, VOL 3: CONCURRENCY, PARALLELISM, AND DISTRIBUTION (HB)
INTEGRATION OF SOFTWARE SPECIFICATION TECHNIQUES FOR APPLICATIONS IN ENGINEERING (PB)
KATEGORIEN UND AUTOMATE (HB)
MATHEMATICAL FOUNDATIONS OF SOFTWARE DEVELOPMENT. PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT (TAPSOFT), BERLIN, MARCH 25-29, 1985 (PB)
MATHEMATISCH-STRUKTURELLE GRUNDLAGEN DER INFORMATIK (PB)
PARALLEL IMAGE ANALYSIS (PB)
PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS (PB)
RECENT TRENDS IN DATA TYPE SPECIFICATION (PB)
RECENT TYPES IN DATA TYPE SPECIFICATION (PB)
SOCIAL THINKING--SOFTWARE PRACTICE (HB)
SOFTWARE (HB)
SOFTWARE DEVELOPMENT AND REALITY CONSTR (HB)
SOFTWARE DEVELOPMENT AND REALITY CONSTRUCTION (PB)
SOFTWARE-ENTWICKLUNG IM TEAM (PB)
TAPSOFT '87: PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, PISA, ITALY, MARCH 1987 (PB)
TAPSOFT '87: PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, PISA, ITALY, MARCH 23 - 27 1987 (PB)
THEORY AND APPLICATION OF GRAPH TRANSFORMATIONS (PB)
THERMOMECHANICS OF PHASE TRANSITIONS IN CLASSICAL FIELD THEORY (HB)
UNIFYING PETRI NETS (PB)

TOP SELLERS IN THIS CATEGORY
Clean Architecture (Paperback)
By: Robert C. Martin
Pearson Education (US)
Our Price : £25.49
more details
Designing Data-Intensive Applications (Paperback)
By: Martin Kleppmann
O'Reilly Media, Inc, USA
Our Price : £35.03
more details
Clean Code (Paperback)
By: Robert C. Martin
Pearson Education (US)
Our Price : £36.54
more details
Domain-driven Design (Hardback)
By: Eric Evans
Pearson Education (US)
Our Price : £47.17
more details
Test Driven Development (Paperback)
By: Kent Beck
Pearson Education (US)
Our Price : £31.44
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer programming
 software engineering


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

NEW
Illustrated Encyclopedia of Science
By: CLAUDIA MARTIN
add to basket

Fiction
Impossible Creatures
By: KATHERINE RUNDELL
add to basket

Fiction
Not for the Faint of Heart
By: LEX CROUCHER
add to basket

Fiction
Secret of Golden Island
By: NATASHA FARRANT
add to basket

Early Learning
Dictionary Story
By: SAM WINSTON
add to basket

Early Learning
Little Worried Caterpillar (PB)
By: CHRISTINE PYM
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
Nutty Numbers
By: DR. SEUSS
add to basket

Picture Book
All the Things We Carry PB
By: HELEN DOCHERTY
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

Picture Book
Animal Swim School
By: KATE PERIDOT
add to basket