Eerke A. Boiten – författare
Visar alla böcker från författaren Eerke A. Boiten. Handla med fri frakt och snabb leverans.
6 produkter
Refinement in Z and Object-Z
Foundations and Advanced Applications
Av Eerke A. Boiten, John Derrick
E-bok, 2012
2115 kr
Lägg i varukorg
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different …
Refinement in Z and Object-Z
Foundations and Advanced Applications
Av John Derrick, Eerke A. Boiten
Inbunden, 2013
1130 kr
Lägg i varukorg
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different …
Refinement in Z and Object-Z
Foundations and Advanced Applications
Av Eerke A. Boiten, John Derrick
E-bok, 2013
1502 kr
Lägg i varukorg
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different …
Refinement in Z and Object-Z
Foundations and Advanced Applications
Av John Derrick, Eerke A. Boiten
Häftad, 2015
1130 kr
Lägg i varukorg
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different …
Mathematics of Program Construction
6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
Av Eerke A. Boiten, Bernhard Möller
Häftad, 2002
569 kr
Lägg i varukorg
ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs …
Mathematics of Program Construction
6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
Av Bernhard Moller, Eerke A. Boiten
E-bok, 2003
739 kr
Lägg i varukorg
