Coverart for item
The Resource Abstract state machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings, Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.), (electronic book)

Abstract state machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings, Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.), (electronic book)

Label
Abstract state machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings
Title
Abstract state machines, Alloy, B and Z
Title remainder
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings
Statement of responsibility
Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.)
Title variation
ABZ 2010
Creator
Contributor
Editor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
006.3/1
Illustrations
illustrations
Index
index present
LC call number
Q325.5
LC item number
.A29 2010
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
ABZ (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1965-
  • 1959-
http://library.link/vocab/relatedWorkOrContributorName
  • Frappier, Marc
  • Glässer, Uwe
  • Khurshid, Sarfraz
  • Laleau, Régine
  • Reeves, Steve
http://library.link/vocab/subjectName
Machine learning
Label
Abstract state machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings, Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.), (electronic book)
Instantiates
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR630115797
Dimensions
unknown
Extent
1 online resource (xiv, 416 p.)
Form of item
online
Isbn
9783642118104
Other physical details
ill.
Specific material designation
remote
Label
Abstract state machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings, Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.), (electronic book)
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR630115797
Dimensions
unknown
Extent
1 online resource (xiv, 416 p.)
Form of item
online
Isbn
9783642118104
Other physical details
ill.
Specific material designation
remote

Library Locations

Processing Feedback ...