Cornelis A. Middelburg – författare
Visar alla böcker från författaren Cornelis A. Middelburg. Handla med fri frakt och snabb leverans.
4 produkter
Notations for Software Design
Av Cornelis A. Middelburg, Hans B.M. Jonkers m. fl.
E-bok, 2012
739 kr
Lägg i varukorg
Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact …
Notations for Software Design
Av Loe M.G. Feijs, Hans B.M. Jonkers m. fl.
Häftad, 1994
569 kr
Lägg i varukorg
Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact …
Instruction Sequences for Computer Science
Av Jan A Bergstra, Cornelis A. Middelburg
Inbunden, 2012
1126 kr
Lägg i varukorg
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously …
Instruction Sequences for Computer Science
Av Cornelis A. Middelburg, Jan A Bergstra
E-bok, 2012
1502 kr
Lägg i varukorg
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously …
