Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Title:

Author:

Bernardo, Marco. editor.

ISBN:

9783319073170

Edition:

1st ed. 2014.

Physical Description:

VIII, 343 p. 101 illus. online resource.

Series:

Programming and Software Engineering, 8483

Subject Term:

Software engineering.

Computer science.

Compilers (Computer programs).

Computer Science Logic and Foundations of Programming.

Compilers and Interpreters.

Theory of Computation.

Added Author:

Bernardo, Marco.

Damiani, Ferruccio.

Haehnle, Reiner.

Johnsen, Einar Broch.

Schaefer, Ina.

Added Corporate Author:

SpringerLink (Online service)

Electronic Access:

https://doi.org/10.1007/978-3-319-07317-0

Available:*

Library	Material Type	Item Barcode	Shelf Number	Status
Searching... Ferit Melen Library	E-Book	171168-1001	QA76.758	Searching... Unknown

Available:*

On Order