Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Search
Advanced search
Start Over
Share
Email
RIS file
Bookmark
Report an Issue
Teaching formal methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings / Jeremy Gibbons, José Nuno Oliveira (eds.).
Conference Author
TFM 2009 (2009 : Eindhoven, Netherlands)
Additional Titles
TFM 2009
Published
Berlin : Springer, [2009]
Copyright Date
©2009
Physical Description
1 online resource (vii, 175 pages) : illustrations
Additional Creators
Gibbons, Jeremy, 1966-
and
Oliveira, José N.
Access Online
SpringerLink:
ezaccess.libraries.psu.edu
Full Text available online
Availability
I Want It
I Want It
Finding items...
Series
Lecture notes in computer science ; 5846
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Subject(s)
Formal methods (Computer science)
—
Study and teaching
—
Congresses
ISBN
9783642049125
3642049125
9783642049118
3642049117
Note
AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
Bibliography Note
Includes bibliographical references and index.
View MARC record
| catkey: 6190370