Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude / Peter Csaba Ölveczky.
2017
QA76.9.F67
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude / Peter Csaba Ölveczky.
ISBN
9781447166870 (electronic book)
1447166876 (electronic book)
9781447166863
1447166868
1447166876 (electronic book)
9781447166863
1447166868
Published
London : Springer, 2017.
Language
English
Description
1 online resource (250 pages) : illustrations.
Item Number
10.1007/978-1-4471-6687-0 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Series
Undergraduate topics in computer science.
Available in Other Form
Linked Resources
Record Appears in