Mathematics of program construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings / Graham Hutton (eds.).
2019
QA76.6 .M63 2019eb
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Mathematics of program construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings / Graham Hutton (eds.).
Meeting Name
ISBN
9783030336363 (electronic book)
3030336360 (electronic book)
9783030336356
3030336360 (electronic book)
9783030336356
Published
Cham, Switzerland : Springer, 2019.
Language
English
Description
1 online resource (viii, 467 pages) : illustrations.
Item Number
10.1007/978-3-030-33636-3 doi
Call Number
QA76.6 .M63 2019eb
Dewey Decimal Classification
005.101/51
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed October 23, 2019).
Added Author
Series
Lecture notes in computer science ; 11825.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in