عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783642304736
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434613
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Tests and Proofs
General Material Designation
[Book]
Other Title Information
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 ђ́أ June 1, 2012. Proceedings /
First Statement of Responsibility
edited by Achim D. Brucker, Jacques Julliand
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg :
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg,
Date of Publication, Distribution, etc.
2012
SERIES
Series Title
Lecture Notes in Computer Science,
Volume Designation
7305
ISSN of Series
0302-9743 ;
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783642304729
PIECE
Title
Springer eBooks
TOPICAL NAME USED AS SUBJECT
Computer science
Computer simulation
Logic design
Software engineering
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Simulation and Modeling
Software Engineering
PERSONAL NAME - PRIMARY RESPONSIBILITY
Brucker, Achim D
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Julliand, Jacques
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
SpringerLink (Online service)
ORIGINATING SOURCE
Date of Transaction
20120525220731.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
