ForMABS '16 : proceedings of the International Workshop on Formal Methods for Analysis of Business Systems : September 4, 2016, Singapore /

Weitere Versionen (3)
Gespeichert in:
Weitere Titel:
Formal Methods for Analysis of Business Systems 2016
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems
Hauptverfasser:
Naik, Ravindra, Medicherla, Raveendra Kumar, Banerjee, Ansuman
Körperschaft:
ACM Sigsoft (sponsoring body.)
Weitere Verfasser:
Naik, Ravindra (HerausgeberIn), Medicherla, Raveendra Kumar (HerausgeberIn), Banerjee, Ansuman (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
New York : ACM, 2016.
Umfang:
1 online resource (16 pages)
Anmerkungen:
Includes index.
ISBN:
1-4503-4214-0
Schlagworte:
Formal methods (Computer science) > Congresses.
Management information systems > Congresses.
Links: