Coverart for item
The Resource Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures, Alessandro Aldini ... [et al.] (eds.), (electronic book)

Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures, Alessandro Aldini ... [et al.] (eds.), (electronic book)

Label
Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures
Title
Formal methods for quantitative aspects of programming languages
Title remainder
10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures
Statement of responsibility
Alessandro Aldini ... [et al.] (eds.)
Title variation
SFM 2010
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.13/1
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
I58 2010
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Aldini, Alessandro
Series statement
  • Lecture notes in computer science
  • Tutorial
Series volume
6154
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Programming languages (Electronic computers)
Label
Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures, Alessandro Aldini ... [et al.] (eds.), (electronic book)
Instantiates
Publication
Note
Lectures
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR654396280
Dimensions
unknown
Extent
1 online resource (167 p.)
Form of item
online
Isbn
9783642136788
Other physical details
ill.
Specific material designation
remote
Label
Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures, Alessandro Aldini ... [et al.] (eds.), (electronic book)
Publication
Note
Lectures
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR654396280
Dimensions
unknown
Extent
1 online resource (167 p.)
Form of item
online
Isbn
9783642136788
Other physical details
ill.
Specific material designation
remote

Library Locations

Processing Feedback ...