Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / / edited by Yamine Ait Ameur, Klaus-Dieter Schewe |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVI, 336 p. 93 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Theory of Computation |
ISBN | 3-662-43652-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Fundamental contributions -- Applications in industrial contexts -- Tool developments and improvements. |
Record Nr. | UNISA-996217774103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / / edited by Yamine Ait Ameur, Klaus-Dieter Schewe |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVI, 336 p. 93 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Theory of Computation |
ISBN | 3-662-43652-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Fundamental contributions -- Applications in industrial contexts -- Tool developments and improvements. |
Record Nr. | UNINA-9910483424803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 161 p. 47 illus.) |
Disciplina | 005.1015113 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Computer logic
Mathematical logic Computers Computer simulation Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Simulation and Modeling |
ISBN | 3-319-07512-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation. |
Record Nr. | UNINA-9910298563803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Model and Data Engineering [[electronic resource] ] : 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings / / edited by Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 340 p. 128 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Artificial intelligence
Application software Computer communication systems Information storage and retrieval Software engineering Database management Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval Software Engineering Database Management |
ISBN | 3-319-11587-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model engineering and data engineering with special emphasis on most recent and relevant topics in the areas of modeling and models engineering -- Data engineering -- Modeling for data management.- Applications and tooling. |
Record Nr. | UNISA-996199682803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model and Data Engineering : 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings / / edited by Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 340 p. 128 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Artificial intelligence
Application software Computer communication systems Information storage and retrieval Software engineering Database management Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval Software Engineering Database Management |
ISBN | 3-319-11587-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model engineering and data engineering with special emphasis on most recent and relevant topics in the areas of modeling and models engineering -- Data engineering -- Modeling for data management.- Applications and tooling. |
Record Nr. | UNINA-9910483931803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|