Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
by
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
Title
:
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Author
:
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
ISBN
:
9783030324094
Edition
:
1st ed. 2019.
Physical Description
:
XXI, 528 p. 491 illus., 73 illus. in color. online resource.
Series
:
Programming and Software Engineering ; 11852
Subject Term
:
Computers.
Artificial intelligence.
Software engineering.
Computer simulation.
Added Author
:
Ait-Ameur, Yamine.
Qin, Shengchao.
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 | 484770-1001 | ONLINE | | Elektronik Kütüphane |