9783642118111
IR
E-4747
انگلیسی
IR
Abstract state machines, alloy, B and Z
[Book]
:second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
/ Marc Frappier ... [et al.] (eds.
Berlin ;New York
: Springer
, 2010.
xiv, 416 p, ill.
(Lecture notes in computer science,0302-9743
(LNCS sublibrary
: SL 1 - Theoretical computer science and general issues.)
; 5977.)
Print
Includes bibliographical references and index.
Lecture notes in computer science
LNCS sublibrary.SL 1,Theoretical computer science and general issues
5977
ABZ 2010
Machine theory, Congresses
B method (Computer science), Congresses
Z (Computer program language), Congresses
Machine learning, Congresses
QA267
.
A29
2010
Frappier, Marc,1965-
ABZ 2010(2010 :Orford, Quaebec)
ایران
old catalog
p
BL
1
a
Y
