Logics and languages for reliability and security: [electronic resource] /: [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.

Logics and languages for reliability and security [electronic resource] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.

2010

QA76.7 .L64eb

Formats

Linked Resource

Title

Logics and languages for reliability and security [electronic resource] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.

ISBN

9781607500995 (hardcover)
9781607501008 (e-book)

Publication Details

Washington, D.C. : IOS Press, 2010.

Language

English

Description

ix, 325 p. : ill.

Call Number

QA76.7 .L64eb

Note

Includes indexes.

Access Note

Access limited to authorized users.

Added Author

Added Corporate Author

Series

NATO science for peace and security series. Sub-series D, Information and communication security ; v. 25.

Linked Resources

Record Appears in