Eerke Boiten – författare
Visar alla böcker från författaren Eerke Boiten. Handla med fri frakt och snabb leverans.
5 produkter
Refinement
Semantics, Languages and Applications
Häftad, 2019
566 kr
Lägg i varukorg
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an …
Refinement
Semantics, Languages and Applications
Inbunden, 2018
566 kr
Lägg i varukorg
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an …
Refinement
Semantics, Languages and Applications
E-bok, 2018
755 kr
Lägg i varukorg
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an …
Integrated Formal Methods
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Av Eerke Boiten, John Derrick m. fl.
Häftad, 2004
566 kr
Lägg i varukorg
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of …
Integrated Formal Methods
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Av Graeme Smith, John Derrick m. fl.
E-bok, 2004
739 kr
Lägg i varukorg
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of …
