Algebraic Methodology and Software Technology
13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
AvDusko Pavlovic,Michael Johnson
E-bok
PDF, Engelska, 2011708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
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
2019708 kr
Del 11565
Foundations of Security, Protocols, and Equational Reasoning
Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
Häftad, 2019
561 kr
- Signerad!
Del 4
- -19%