Free Download Formal Methods for Executable Software Models: 14t… By Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer Publisher Springer 2014 ISBN 3319073168,978-3-319-07316-3,978-3-319-07317-0 Series Lecture Notes in Computer Science 8483 Pages 350/0
Code: 1414672
Title: Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014
Author: Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Edition:
Publisher: Springer
Year: 2014
Volume:
Series: Lecture Notes in Computer Science 8483,
City:
Pages(biblio/tech): 350/0
Languages: English
Categories: Uncategories
ISBN: 3319073168,978-3-319-07316-3,978-3-319-07317-0
ISSN:
DOI:
Google Id: Download eBook Formal Methods for Executable Software Models: 14th International School on Form
ASIN:
dpi: 0
Size:
Format: pdf
UDC/LBC/DDC/LCC: ///
Library,issue: kolxoz,73
OL ID:
Scanned,OCR: ,1
MD5: e0522ea7f9b06a8f627a14031f42db20
State:
One-file Torrent: 73/Cs_Computer science/CsLn_Lecture notes/Formal methods for executable software models. 14th International School SFM 2014 (LNCS8483, Springer, 2014)(ISBN 9783319073163)(O)(350s)_CsLn_.pdf
time add/modiffied: 2015-12-12 14:00:00/2016-03-20 07:50:50
Cover: Show Cover
