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 : Jun 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8483. Tutorial)

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 : Jun 2014, Bertinoro, Italy.

(Lecture Notes in Computer Science ; 8483. Tutorial)

Call No. (NDL): M17-15-592
Bibliographic ID of National Diet Library: 025574700

Material type: 図書

Author: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (14th : 2014 : Bertinoro, Italy)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: vi, 342 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.

Other physical details：: illustrations

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783319073163
3319073168
ISSN (series): 0302-9743
Title: 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 : Jun 2014, Bertinoro, Italy.
Series Title: Lecture Notes in Computer Science ; 8483. Tutorial
Title Heading: Lecture notes in computer science ; 8483.
Lecture notes in computer science. Tutorial.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (14th : 2014 : Bertinoro, Italy)
Bernardo, Marco.
Damiani, Ferruccio.
Hähnle, Reiner.
Johnsen, Einar Broch.
Schaefer, Ina.
Publication, Distribution, etc.: Cham : Springer
Publication Date: [2014]
Publication Date (W3CDTF): 2014
Extent: vi, 342 pages
Other physical details: illustrations
Size: 24 cm.
Place of Publication (Country Code): CH
Text Language Code: eng
Genre/Form Terms: Conference proceedings.
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Computer software--Development--Congresses.
Formal methods (Computer science)--Congresses.
Computer software--Development.
Formal methods (Computer science)
NDLC: M17
Target Audience: 一般
Note (General): Papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-592
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 025574700
http://id.ndl.go.jp/bib/025574700
OCLC No.: 890849283
https://www.worldcat.org/oclc/890849283
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215