Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Model checking softwar
پدید آورنده
Alex Groce, Madanlal Musuvathi (eds.)
موضوع
SPIN (Computer file), Congresses,Computer software, Verification, Congresses
رده
QA
،
76
.
76
،.
V47
کتابخانه
Central Library and Information Center of Shahed University
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
51214110
-
021
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783642223068
English Book
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Model checking softwar
Other Title Information
18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
First Statement of Responsibility
Alex Groce, Madanlal Musuvathi (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Heidelberg
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 193 p.) , ill.
SERIES
Series Title
Series: Lecture notes in computer science ;6823.0302-9743
Series Title
Series: LNCS sublibrary.SL 1,Theoretical computer science and general issues.
GENERAL NOTES
Text of Note
Title
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
SPIN (Computer file), Congresses
Entry Element
Computer software, Verification, Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
76
Classification Record Number
.
V47
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
International SPIN Workshop(18th :2011 :Snowbird, Utah)
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Groce, Alex.
Entry Element
Musuvathi, Madanlal.
Title: International SPIN Workshop
Title: Also known as:SPIN 2011
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal