0
Your cart

Your cart is empty

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

Showing 1 - 2 of 2 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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Rabbit and Bear Boxset (4 Books)
Jim Field Paperback R499 R399 Discovery Miles 3 990
Dunlop Pro Padel Balls (Green)(Pack of…
R199 R165 Discovery Miles 1 650
Playboy London Eau De Toilette (100ml…
R691 R473 Discovery Miles 4 730
Multi Colour Jungle Stripe Neckerchief
R119 Discovery Miles 1 190
Baby Dove Shampoo Rich Moisture 200ml
R50 Discovery Miles 500
Complete Adult Cat Food (3kg)
R215 R185 Discovery Miles 1 850
Homequip USB Rehargeable Table Top…
R445 Discovery Miles 4 450
Elecstor 18W In-Line UPS (Black)
R999 R404 Discovery Miles 4 040
Elvis
Baz Luhrmann Blu-ray disc R191 R171 Discovery Miles 1 710
Sharp EL-W506T Scientific Calculator…
R599 Discovery Miles 5 990

 

Partners