An edition of Formal Methods for Executable Software Models (2014)

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 , , , , and

  • 1 Want to read
Formal Methods for Executable Software Models
Marco Bernardo, Ferruccio Dami ...
Locate

My Reading Lists:

Create a new list
  • 1 Want to read

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 7, 2022 | History
Edit
An edition of Formal Methods for Executable Software Models (2014)

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 , , , , and

  • 1 Want to read

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer London, Limited
Language
English
Pages
343

Check nearby libraries

Buy this book

Subjects

Computer software, development System design Software engineering Computer science Information theory Logic design Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Theory of Computation
Edition Availability
Cover of: Formal Methods for Executable Software Models
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
2014, Springer London, Limited
in English
Cover of: Formal Methods for Executable Software Models
Formal Methods for Executable Software Models
May 21, 2014, Springer
paperback

Add another edition?

Book Details

Classifications

Library of Congress
QA75.5-76.95

Edition Identifiers

Open Library
OL34520935M
ISBN 13
9783319073170

Work Identifiers

Work ID
OL20770260W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON