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

دانلود فایل ها