Abstract state machines, B and Z : first international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings. : tutorials on the ASM and B simulator tools CoreAsm and Pro-B : UK EPSRC-funded verified software repository network (VSR-net) workshop : ABZ2008 conference : Sep 2008, London, UK. (Lecture Notes in Computer Science ; 5238)

Abstract state machines, B and Z : first international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings. : tutorials on the ASM and B simulator tools CoreAsm and Pro-B : UK EPSRC-funded verified software repository network (VSR-net) workshop : ABZ2008 conference : Sep 2008, London, UK.

(Lecture Notes in Computer Science ; 5238)

Call No. (NDL): M17-09-924
Bibliographic ID of National Diet Library: 000009992973

Material type: 図書

Author: Börger, E. (Egon) , 1946-ほか

Publisher: Springer

Publication date: c2008.

Material Format: Paper

Capacity, size, etc.: xii, 382 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and selected papers."The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z ...

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783540876021 (ISBN-13 : pbk.)
3540876022 (pbk.)
ISSN (series): 0302-9743
Title: Abstract state machines, B and Z : first international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings. : tutorials on the ASM and B simulator tools CoreAsm and Pro-B : UK EPSRC-funded verified software repository network (VSR-net) workshop : ABZ2008 conference : Sep 2008, London, UK.
Series Title: Lecture Notes in Computer Science ; 5238
Title Heading: LNCS sublibrary. SL 1 Theoretical computer science and general issues.
Author Heading: Börger, E. (Egon) , 1946-
ABZ 2008 (2008 : London, England)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2008.
Publication Date (W3CDTF): 2008
Extent: xii, 382 p. : ill. ; 24 cm.
Alternative Title: Abstract state machines, B and Z : 1st international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Machine theory -- Congresses.
B method (Computer science) -- Congresses.
Z (Computer program language) -- Congresses.
LCC: QA267
NDLC: M17
Note (General): Abstracts and selected papers.
"The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method, (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-09-924
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009992973
http://id.ndl.go.jp/bib/000009992973
OCLC No.: 251304166
https://www.worldcat.org/oclc/251304166
Bibliographic Record Category (NDL): 215