Andrzej Tarlecki – författare
Visar alla böcker från författaren Andrzej Tarlecki. Handla med fri frakt och snabb leverans.
4 produkter
Mathematical Foundations of Computer Science 1991
16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
Häftad, 1991
569 kr
Lägg i varukorg
This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS '91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well …
Foundations of Algebraic Specification and Formal Software Development
Av Donald Sannella, Andrzej Tarlecki
Inbunden, 2011
1316 kr
Lägg i varukorg
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using …
Foundations of Algebraic Specification and Formal Software Development
Av Andrzej Tarlecki, Donald Sannella
E-bok, 2012
1720 kr
Lägg i varukorg
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using …
Foundations of Algebraic Specification and Formal Software Development
Av Donald Sannella, Andrzej Tarlecki
Häftad, 2014
1316 kr
Lägg i varukorg
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using …
