Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Correct System Design
پدید آورنده
\ Roland Meyer ,André Platzer, Heike Wehrheim (Eds.)
موضوع
Formal methods (Computer science) -- Congresses.,Logics and Meanings of Programs.,روشهای صوری (کامپیوتر) -- کنگره ها
رده
QA
76
.
9
.
F67C6
2015
E-Book
,
کتابخانه
Library of Foreign Languages and Islamic Sources
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
37839111
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319235059
NATIONAL BIBLIOGRAPHY NUMBER
Number
13635
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Correct System Design
General Material Designation
[electronic resources]
Other Title Information
: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday Oldenburg, Germany, September 8–9, 2015 Proceedings
First Statement of Responsibility
\ Roland Meyer ,André Platzer, Heike Wehrheim (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, [278] p
Other Physical Details
:ill
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 9360
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science) -- Congresses.
Logics and Meanings of Programs.
روشهای صوری (کامپیوتر) -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
F67C6
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Meyer, Roland
Platzer, André
Wehrheim, Heike
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170209
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319235059.pdf
p
BL
279177
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal