Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Title:
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Author:
Merz, Stephan. editor.
ISBN:
9783319117379
Edition:
1st ed. 2014.
Physical Description:
XVIII, 460 p. 125 illus. online resource.
Series:
Programming and Software Engineering ; 8829
Subject Term:
Software engineering.

Computer programming.

Programming languages (Electronic computers).

Mathematical logic.

Computer communication systems.
Added Author:
Merz, Stephan.

Pang, Jun.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
https://doi.org/10.1007/978-3-319-11737-9
Holds:

Copies:

Library
Click to Sort
Material Type
Click to Sort
Item Barcode
Click to Sort
Shelf Number
Click to Sort
Status
Click to Sort
Item Holds
Click to Sort
Searching...
 E-Book 485725-1001 ONLINE
Searching...