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: TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
By: Bernhard Steffen
Format: Hardback

List price: £41.70


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

ISBN 10: 1013271211
ISBN 13: 9781013271212
Publisher: SAINT PHILIP STREET PRESS
Pub. date: 8 October, 2020
Pages: 278
Returns: Non-returnable
Some other items by this author:
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PB)
CHALLENGES AND OPPORTUNITY WITH BIG DATA (PB)
COMPOSITION OF EMBEDDED SYSTEMS SCIENTIFIC AND INDUSTRIAL ISSUES (PB)
CONCISE GUIDE TO SOFTWARE VERIFICATION (HB)
CONSTRUCTION AND ANALYSIS OF SAFE, SECURE, AND INTEROPERABLE SMART DEVICES (PB)
CONSTRUCTION AND ANALYSIS OF SAFE, SECURE, AND INTEROPERABLE SMART DEVICES (PB)
CORRECT SYSTEM DESIGN (PB)
DISTIBUTED SYSTEMS
DISTIBUTED SYSTEMS
DISTIBUTED SYSTEMS
DISTRIBUTED SYSTEMS (HB)
EMBEDDED SYSTEMS
EMBEDDED SYSTEMS
EMBEDDED SYSTEMS (HB)
FORMAL METHODS FOR EMBEDDED DISTRIBUTED SYSTEMS
FORMAL METHODS FOR EMBEDDED DISTRIBUTED SYSTEMS (HB)
FORMAL METHODS FOR EMBEDDED DISTRIBUTED SYSTEMS (PB)
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (PB)
GRUNDLAGEN DER HOHEREN INFORMATIK (HB)
INTEGRATED FORMAL METHODS (PB)
KARTEN VON MYKENAI
KARTEN VON MYKENAI
LEVERAGING APPLICATIONS OF FORMAL METHODS (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. SPECIALIZED TECHNIQUES AND APPLICATIONS (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. TECHNOLOGIES FOR MASTERING CHANGE (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION (PB)
MODELS AND ANALYSIS FOR DISTRIBUTED SYSTEMS
MODELS AND ANALYSIS FOR DISTRIBUTED SYSTEMS
MODELS AND ANALYSIS FOR DISTRIBUTED SYSTEMS
MODELS AND ANALYSIS IN DISTRIBUTED SYSTEMS (HB)
RELIABLE SOFTWARE TECHNOLOGIES (PB)
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2007 (PB)
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009 (PB)
RELIABLE SYSTEMS ON UNRELIABLE NETWORKED PLATFORMS (PB)
SERVICES AND VISUALIZATION, TOWARDS USER-FRIENDLY DESIGN (PB)
SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE (PB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (PB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (PB)
TRANSACTIONS ON FOUNDATIONS FOR MASTERING CHANGE I (PB)
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (PB)



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

NEW
Ramadan and Eid al-Fitr A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C... The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket