Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
by
Groves, Lindsay. editor.
Title
:
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Author
:
Groves, Lindsay. editor.
ISBN
:
9783642412028
Physical Description
:
XVIII, 466 p. 136 illus. online resource.
Series
:
Lecture Notes in Computer Science, 8144
Subject Term
:
Computer science.
Computer Communication Networks.
Software engineering.
Computer software.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Added Author
:
Sun, Jing.
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 | 335072-1001 | ONLINE(335072.1) | | Elektronik Kütüphane |