Tokyo Metropolitan University Library
Library HP | Login
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search
    • Tag History
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • New Purchase Request

Tokyo Metropolitan University Library

Back to previous

Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi

Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.). -- Springer, 2014. -- (Lecture notes in computer science ; 8373 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Festschrift). <BB02242669>
Tag:
No tag is registered
Functions:
Details
URL:

Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi

Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.). -- Springer, 2014. -- (Lecture notes in computer science ; 8373 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Festschrift). <BB02242669>
Tag:
No tag is registered
Functions:
Details
URL:

HoldingsList 1-1 of about 1

Click a number to display details about the collection.

No. Volumes Library Location Material ID Call No Status Due Date Reservation WEB書棚
0001 Mathematics Library Mathematics Library：Series 10003533330 /549/L49c/8373 0items
No. 0001
Volumes
Library Mathematics Library
Location Mathematics Library：Series
Material ID 10003533330
Call No /549/L49c/8373
Status
Due Date
Reservation 0items
WEB書棚
Go to the top of this page

Bibliography Details

title and statement of responsibility area Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi / Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)
publication,distribution,etc.,area Heidelberg : Springer , c2014
physical description area xxi, 656 p. : ill. ; 24 cm
Volume Information
ISBN 9783642546235
parent bibliography link Lecture notes in computer science <BB00769733> 8373 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Festschrift//aaaa
note Includes bibliographical references and index
NCID BB17926780
text language code English
author link 二木, 厚吉(1948-)||フタツギ, コウキチ <AU00527656>
author link 飯田, 周作(1970-)||イイダ, シュウサク <AU00765066>
author link Meseguer, José <AU00765067>
author link 緒方, 和博
オガタ, カズヒロ <>
classification DC23:005.1
subject headings Software engineering
subject headings Formal methods (Computer science)
Go to the top of this page
Back to previous
Go to the top of this page

  • Related Information

    Related Items

    Other Databases

    Other Universities (NII)

    Get it from another library

    • ILL Copy Request(get a copy from another library)
    • ILL Borrowing Request(borrow the actual book)

    QR code