Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 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

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


Book Informaton

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

Author

Frederic Boniol; Virginie Wiels; Yamine Ait Ameur; Klaus-Dieter Schewe

Series

Communications in Computer and Information Science

Volume

433

Year of Publication

2014

Publisher

Springer International Publishing

Pages

XII, 161

Language

en

ISBN

9783319075112, 9783319075129, 331907511X

ARI Id

1664220613315


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation