John Derrick – författare
Visar alla böcker från författaren John Derrick. Handla med fri frakt och snabb leverans.
19 produkter
Formal Methods for Open Object-based Distributed Systems
Volume 2
Av John Derrick, Howard Bowman
E-bok, 2016
2925 kr
Lägg i varukorg
This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the …
Formal Methods for Open Object-based Distributed Systems
Volume 2
Av Howard Bowman, John Derrick
Inbunden, 1997
2244 kr
Lägg i varukorg
This text presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. Topics discussed include: object-oriented design and programming; formal specification of distributed systems; open …
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
Av Howard Bowman, John Derrick
Häftad, 2011
854 kr
Lägg i varukorg
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, …
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
Av Howard Bowman, John Derrick
Inbunden, 2001
2398 kr
Lägg i varukorg
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, …
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
1126 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
1126 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
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 …
Formal Techniques for Networked and Distributed Systems - FORTE 2007
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Häftad, 2007
566 kr
Lägg i varukorg
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for …
Formal Techniques for Networked and Distributed Systems - FORTE 2007
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
E-bok, 2007
739 kr
Lägg i varukorg
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for …
Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av John Derrick, Stefania Gnesi m. fl.
Häftad, 2012
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover …
Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av Helen Treharne, Diego Latella m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover …
Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av John Derrick, John Fitzgerald m. fl.
Häftad, 2012
550 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 …
Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av Elvinia Riccobene, Steve Reeves m. fl.
E-bok, 2012
718 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 …
