: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures
First Statement of Responsibility
\ Marco Bernardo , Einar Broch Johnsen (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vii, 211 p
Other Physical Details
:ill
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 9104
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Computer software -- Development -- Congresses.
Formal methods (Computer science) -- Congresses.
Software engineering.
نرمافزار -- تولید -- کنگره ها
روشهای صوری (کامپیوتر) -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
Book number
.
F6
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Bernardo, Marco
Johnsen, Einar Broch
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (15th : 2015 : Bertinoro, Italy)