Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
15, 2011. Proceedings-Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14
پدید آورنده
/ Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
موضوع
COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده
E-BOOK
کتابخانه
Central Library, Center of Documentation and Supply of Scientific Resources
محل استقرار
استان:
East Azarbaijan
ـ شهر:
تماس با کتابخانه :
04133443834
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-26421
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
15, 2011. Proceedings-Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14
General Material Designation
[Book]
First Statement of Responsibility
/ Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Verlag Berlin Heidelberg-Springer
Date of Publication, Distribution, etc.
, 2011.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Electronic
TOPICAL NAME USED AS SUBJECT
COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
LIBRARY OF CONGRESS CLASSIFICATION
Class number
E-BOOK
PERSONAL NAME - PRIMARY RESPONSIBILITY
Jasmin Fisher (auth.)
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Access number
عادی
Compression information
محرمانه
Date and Hour of Consultation and Access
1556014.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal