Formal methods for executable software models [electronic resource] : 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 / Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen (Eds.).
2014
QA76.76.D47 I14 2014
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Formal methods for executable software models [electronic resource] : 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 / Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen (Eds.).
ISBN
9783319073170 electronic book
3319073176 electronic book
3319073176 electronic book
Publication Details
Cham : Springer, [2014]
Copyright
©2014
Language
English
Description
1 online resource : illustrations.
Call Number
QA76.76.D47 I14 2014
Dewey Decimal Classification
005.1
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from PDF title page (SpringerLink, viewed June 16, 2014).
Added Author
Series
Lecture notes in computer science ; 8483. 1611-3349
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in