Franklin

Abstract state machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings / Marc Frappier ... [et al.] (eds.).

Other Title:
ABZ 2010
Publication:
Berlin ; New York : Springer, c2010.
Conference Name:
ABZ (Conference) (2nd : 2010 : Orford, Québec)
Series:
Lecture notes in computer science; 5977.
Lecture notes in computer science
Format/Description:
Conference/Event
Book
1 online resource (xiv, 416 p.) : ill
Subjects:
Machine learning -- Congresses.
Form/Genre:
Electronic books.
System Details:
Mode of access: World Wide Web.
Notes:
International conference proceedings.
Includes bibliographical references and author index.
Contributor:
Frappier, Marc, 1965-
SpringerLink (Online service)
Other format:
Print version: Abstract state machines, alloy, B and Z.
ISBN:
9783642118111
3642118119
OCLC:
630115797
Access Restriction:
Restricted for use by site license.
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy