Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Model checking software
پدید آورنده
Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
موضوع
SPIN (Computer file),Computer software-- Verification, Congresses
رده
کتابخانه
Center and Library of Islamic Studies in European Languages
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
32910706
-
025
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540851135
(Number (ISBN
9783540851134
NATIONAL BIBLIOGRAPHY NUMBER
Number
b433816
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Model checking software
General Material Designation
[Book]
Other Title Information
15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /
First Statement of Responsibility
Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2008
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary.
Number of a Part
SL 1,
Name of a Part
Theoretical computer science and general issues
ISSN of Series
5156
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
REPRODUCTION NOTE
Text of Note
Also available in print
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
TITLE USED AS SUBJECT
SPIN (Computer file)
TOPICAL NAME USED AS SUBJECT
Computer software-- Verification, Congresses
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Havelund, Klaus,1955-
Majumdar, Rupak
Palsberg, Jens
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International SPIN Workshop(15th :2008 :, Los Angeles, Calif.)
ORIGINATING SOURCE
Date of Transaction
20081107121532.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب
[Book]
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal