Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
by
Biondi, Fabrizio. editor.
Title
:
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Author
:
Biondi, Fabrizio. editor.
ISBN
:
9783030309237
Edition
:
1st ed. 2019.
Physical Description
:
X, 261 p. 605 illus., 41 illus. in color. online resource.
Series
:
Theoretical Computer Science and General Issues ; 11636
Subject Term
:
Software engineering.
Computer logic.
Algorithms.
Computer simulation.
Computer system failures.
Added Author
:
Biondi, Fabrizio.
Given-Wilson, Thomas.
Legay, Axel.
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 | 486937-1001 | ONLINE | | Elektronik Kütüphane |