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: FORMAL METHODS FOR EXECUTABLE SOFTWARE MODELS
14TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION, AND SOFTWARE SYSTEMS, SFM 2014, BERTINORO, ITALY, JUNE 16-20, 2014, ADVANCED LECTURES
By: Marco Bernardo (Editor), Ferruccio Damiani (Editor), Reiner Haehnle (Editor)
Format: Paperback

List price: £64.99


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

ISBN 10: 3319073168
ISBN 13: 9783319073163
Publisher: SPRINGER INTERNATIONAL PUBLISHING AG
Pub. date: 29 April, 2014
Edition: 2014 ed.
Series: Lecture Notes in Computer Science / Programming and Software Engineering 8483
Pages: 343
Synopsis: This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.
Illustrations: 101 black & white illustrations, biography
Publication: Switzerland
Imprint: Springer International Publishing AG
Returns: Returnable
Some other items by this author:
A PROCESS ALGEBRAIC APPROACH TO SOFTWARE ARCHITECTURE DESIGN (HB)
A PROCESS ALGEBRAIC APPROACH TO SOFTWARE ARCHITECTURE DESIGN (PB)
COMPUTER PERFORMANCE ENGINEERING (PB)
FORMAL METHODS FOR COMPONENTS AND OBJECTS (PB)
FORMAL METHODS FOR COMPUTATIONAL SYSTEMS BIOLOGY (PB)
FORMAL METHODS FOR DYNAMICAL SYSTEMS (PB)
FORMAL METHODS FOR ETERNAL NETWORKED SOFTWARE SYSTEMS (PB)
FORMAL METHODS FOR HARDWARE VERIFICATION (PB)
FORMAL METHODS FOR MOBILE COMPUTING (PB)
FORMAL METHODS FOR MODEL-DRIVEN ENGINEERING (PB)
FORMAL METHODS FOR MULTICORE PROGRAMMING (PB)
FORMAL METHODS FOR PERFORMANCE EVALUATION (PB)
FORMAL METHODS FOR QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES (PB)
FORMAL METHODS FOR SOFTWARE ARCHITECTURES (PB)
FORMAL METHODS FOR THE DESIGN OF REAL-TIME SYSTEMS (PB)
FORMAL METHODS FOR THE QUANTITATIVE EVALUATION OF COLLECTIVE ADAPTIVE SYSTEMS (PB)
FORMAL METHODS FOR WEB SERVICES (PB)
FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE (PB)
TYPES FOR PROOFS AND PROGRAMS (PB)
TYPES FOR PROOFS AND PROGRAMS (PB)

TOP SELLERS IN THIS CATEGORY
Programming in Lua, Fourth Edition (Paperback / softback)
Lua.Org
Our Price : £31.46
more details
C++ Concurrency in Action (Paperback)
Manning Publications
Our Price : £50.39
more details
Test Driven Development for Embedded C (Paperback)
The Pragmatic Programmers
Our Price : £25.19
more details
Murach's Mainframe COBOL (Paperback)
Mike Murach & Associates Inc.
Our Price : £50.32
more details
A Tiny Handbook of R (Paperback)
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Our Price : £48.12
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer programming
 programming languages


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

NEW
World’s Worst Superheroes GET READY FOR SOME SUPERSIZED FUN!
add to basket





New
No Cheese, Please! A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
add to basket

New
My Brother Is a Superhero Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
add to basket


Picture Book
Animal Actions: Snap Like a Crab
By:
The first title in a new preschool series from Guilherme Karsten.
add to basket