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
LC call number
QA76.9.B22
LC item number
A29 2008eb
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
ABZ (Conference)
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
OCM1bookssj0000685510
Dimensions
unknown
Isbn
9783540876021
Specific material designation
remote
System control number
(WaSeSS)bookssj0000685510
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
OCM1bookssj0000685510
Dimensions
unknown
Isbn
9783540876021
Specific material designation
remote
System control number
(WaSeSS)bookssj0000685510

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...