2 Ebooks tarafından Paul Boca
Paul Boca & Jonathan P. Bowen: Formal Methods: State of the Art and New Directions
…
PDF
İngilizce
€96.29
Paul Boca & Egon Borger: Abstract State Machines, B and Z
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneousl …
PDF
İngilizce
DRM
€58.12
