Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
by
André, Étienne. editor. (orcid)0000-0001-8473-9555
Title
:
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Author
:
André, Étienne. editor. (orcid)0000-0001-8473-9555
ISBN
:
9783030296629
Edition
:
1st ed. 2019.
Physical Description
:
XVI, 301 p. 237 illus., 41 illus. in color. online resource.
Series
:
Theoretical Computer Science and General Issues ; 11750
Subject Term
:
Algorithms.
Software engineering.
Computer logic.
Computer simulation.
Special purpose computers.
Added Author
:
André, Étienne.
Stoelinga, Mariëlle.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 483867-1001 | ONLINE | | Elektronik Kütüphane |