0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

Formal Methods: State of the Art and New Directions (Hardcover, 2010 ed.): Paul Boca, Jonathan P. Bowen, Jawed Siddiqi Formal Methods: State of the Art and New Directions (Hardcover, 2010 ed.)
Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
R2,959 Discovery Miles 29 590 Ships in 10 - 15 working days

The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience fromboth academiaand industry, andgavethem the opportunity to hear and meet pioneers andkeyresearchersin computing science.Normally it wouldbe necessaryto travelabroadand attend an internationalconference to be in the presence of such respected ?gures; instead, the evening seminar programme, overa period of threeyears, broughtthe keynotespeakers of the conference to theBritishComputerSocietyheadquarters, fortheconvenienceofanaudience basedinLondon.Severalspeakersfromtheperiod2005-2007kindlydeveloped their talks into full papers, which form the basis of this volume. Iamdelightedtowelcomethepublicationofsuchanexcellentandcomp- hensiveseriesofcontributions.Theyarenowavailableinbookformtoaneven wider audience, including developers interested in solutions already available, and researchers interested in problems which remain for future solution. Sir Tony Hoare Preface They envy the distinction I have won; let them therefore, envy my toils, my honesty, and the methods by which I gained it. - Sallust (86-34 BC) Formalmethods area powerfultechniqueforhelping toensure the correctness of software. The growth in their use has been slow but steady and they are typically applied in critical systems where safety or security is paramoun

Formal Methods: State of the Art and New Directions (Paperback, 2010 ed.): Paul Boca, Jonathan P. Bowen, Jawed Siddiqi Formal Methods: State of the Art and New Directions (Paperback, 2010 ed.)
Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
R2,790 Discovery Miles 27 900 Ships in 10 - 15 working days

The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience fromboth academiaand industry, andgavethem the opportunity to hear and meet pioneers andkeyresearchersin computing science.Normally it wouldbe necessaryto travelabroadand attend an internationalconference to be in the presence of such respected ?gures; instead, the evening seminar programme, overa period of threeyears,broughtthe keynotespeakers of the conference to theBritishComputerSocietyheadquarters,fortheconvenienceofanaudience basedinLondon.Severalspeakersfromtheperiod2005-2007kindlydeveloped their talks into full papers, which form the basis of this volume. Iamdelightedtowelcomethepublicationofsuchanexcellentandcomp- hensiveseriesofcontributions.Theyarenowavailableinbookformtoaneven wider audience, including developers interested in solutions already available, and researchers interested in problems which remain for future solution. Sir Tony Hoare Preface They envy the distinction I have won; let them therefore, envy my toils, my honesty, and the methods by which I gained it. - Sallust (86-34 BC) Formalmethods area powerfultechniqueforhelping toensure the correctness of software. The growth in their use has been slow but steady and they are typically applied in critical systems where safety or security is paramount.

Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings... Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Paperback, 2008 ed.)
Egon Boerger, Michael Butler, Jonathan P. Bowen, Paul Boca
R1,500 Discovery Miles 15 000 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method.

The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Canon 440XL and 441XL Original High…
R2,800 R1,400 Discovery Miles 14 000
Barbie Dreamtopia Twinkle Lights Mermaid…
R799 R669 Discovery Miles 6 690
Loot
Nadine Gordimer Paperback  (2)
R205 R164 Discovery Miles 1 640
Aerolatte Cappuccino Art Stencils (Set…
R110 R95 Discovery Miles 950
Bostik Clear (50ml)
R57 Discovery Miles 570
Cricut Joy Machine
 (6)
R3,759 Discovery Miles 37 590
Poop Scoopa
R369 Discovery Miles 3 690
Lucky Lubricating Clipper Oil (100ml)
R79 Discovery Miles 790
Dr. Brown's Advantage Pacifier - Stage 2…
R211 R89 Discovery Miles 890
Foldable Portable Pet Playpen - 780…
R1,105 Discovery Miles 11 050

 

Partners