Algebraic Methodology and Software Technology
13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
AvMichael Johnson,Dusko Pavlovic
Häftad, Engelska, 2011
Del i serien Lecture Notes in Computer Science
559 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010.The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Foundations of Security, Protocols, and Equational Reasoning
Dusko Pavlovic, Jose Meseguer, Carl E. Landwehr, Joshua D. Guttman
E-bok
2019734 kr
Del 11565
Foundations of Security, Protocols, and Equational Reasoning
Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
Häftad, 2019
559 kr
- 4 för 3
- -17%
Del 2