Catalog
Home
(current)
About
Tutorials
Electronic Resources
New Titles
Institutional Repository
My Account
Basic Search
Browse the Catalog
Advanced Search
0
Records In Basket
View Basket
Place Holds
Print Title Details
Email Title Details
Add Basket to Saved List
Clear Basket
Record Details
Catalog Search
Search:
Type:
Keyword
Title
Journal Title
Author
Subject
Series
Format:
All Formats
All Books
All Music
All Videos
Audiocassette music recording
Blu-ray
Braille
Cassette audiobook
CD Audiobook
CD Music recording
DVD
E-audio
E-book
E-video
Equipment, games, toys
Kit
Large Print Book
Map
Microform
Music Score
Phonograph music recording
Phonograph spoken recording
Picture
Preloaded Audio
Serials and magazines
Software and video games
VHS
Library:
IPICYT
Biblioteca
Biblioteca Ipicyt
Search
All Libraries
[
2 filters applied
]
◄
Previous
Back To Results
Showing Item 42 of 883
Next
►
E-book
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Bernardo, Marco.
(
editor.
).
Vink, Erik.
(
editor.
).
Pierro, Alessandra.
(
editor.
).
Wiklicky, Herbert.
(
editor.
).
SpringerLink (Online service)
(
Added Author
).
More Details
Record details
ISBN:
9783642388743
Physical Description:
VIII, 181 p. 49 illus. online resource.
Publisher:
Berlin, Heidelberg :
Springer Berlin Heidelberg :
2013.
Search for related items by subject
Subject:
Computer science.
Software engineering.
Logic design.
Bioinformatics.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Computational Biology/Bioinformatics.
Computation by Abstract Devices.
Search for related items by series
Lecture Notes in Computer Science,
0302-9743 ;
7938
Lecture Notes in Computer Science,
0302-9743 ;
7938
Add to basket
Remove from basket
Print
Email
Permalink
Disable Highlighting
Electronic resources
Texto completo
► Awards, Reviews, & Suggested Reads
► Shelf Browser
► MARC Record
◄
Previous
Back To Results
Showing Item 42 of 883
Next
►
Login To Evergreen
Library Card Number
PIN
Forgot Your Password?
Additional Resources