Coverart for item
The Resource Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings, Egon Börger ... [et al.] (eds.), (electronic resource)

Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings, Egon Börger ... [et al.] (eds.), (electronic resource)

Label
Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings
Title
Abstract state machines, B and Z
Title remainder
first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings
Statement of responsibility
Egon Börger ... [et al.] (eds.)
Title variation
ABZ 2008
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
CaPaEBR
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
ABZ (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1946-
http://library.link/vocab/relatedWorkOrContributorName
  • Börger, E.
  • ebrary, Inc
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
5238
http://library.link/vocab/subjectName
  • B method (Computer science)
  • Machine theory
  • Z (Computer program language)
Label
Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings, Egon Börger ... [et al.] (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
ssj0000685510
Dimensions
unknown
Extent
1 online resource (xii, 382 p.)
Form of item
online
Governing access note
Access restricted to subscribing institutions
Isbn
9783540876021
Other physical details
ill
Specific material designation
remote
System control number
(WaSeSS)ssj0000685510
Label
Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings, Egon Börger ... [et al.] (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
ssj0000685510
Dimensions
unknown
Extent
1 online resource (xii, 382 p.)
Form of item
online
Governing access note
Access restricted to subscribing institutions
Isbn
9783540876021
Other physical details
ill
Specific material designation
remote
System control number
(WaSeSS)ssj0000685510

Library Locations

    • Ladd LibraryBorrow it
      48 Campus Ave, Lewiston, ME, 04240, US
      44.105245 -70.203443
Processing Feedback ...