عنوان
پدید آورنده
موضوع
رده
QA 267 .A26 2010
QA
267
.
A26
2010
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
electronic
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2010
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 416 p. : ill. ; 24 cm
SERIES
Series Title
Lecture notes in computer science ; 7795
GENERAL NOTES
Text of Note
Includes bibliographical references and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Marc Frappier ... ]et al.[ )Eds.(
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Machine theory
Entry Element
Congresses ، B method )Computer science(
Entry Element
Congresses ، Z )Computer program language(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
267
.
A26
2010
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Frappier, Marc 1965-
TI
SE
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
ABZ 2010 )2010 :Orford, Quebec(
