Abstract state machines, alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, june 2-6, 2014, proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Heidelberg :
Springer,
c2014.
|
| Series: | Lecture notes in computer science
8477 |
| Subjects: | |
| Online Access: | Ver documento en línea |
Internet
Ver documento en líneaSistema de Bibliotecas de Universidad de Costa Rica
| Call Number: |
004 |
|---|---|
| Copy | Available |