Image from Google Jackets

Normal view MARC view ISBD view

NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi.

By:

Bobaru, Mihaela

Contributor(s):

Material type:

Computer file

Computer fileSeries: Lecture Notes in Computer Science ; 6617Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Description: v.: digitalISBN:

9783642203985

Subject(s):

Online resources:

Click here to access online

In: Springer eBooks

Reviews from LibraryThing.com:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 0 )
Comments ( 0 )

No physical items for this record

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)

Share

here

KCAU Library,
KCA University ,
Thika Road Ruaraka
P. O. Box 56808 – 00200 Nairobi, Kenya

More Links

More Links

0
1
2
3
4
5
6

Powered by Koha