Verified Software: Theories, Tools, Experiments - Prijzen

A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King's 1969 thesis on A program verifier. What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the developme...

De Verified Software: Theories, Tools, Experiments is een populaire optie voor Programmeren. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.

Productspecificaties

Waar te koop

Verified Software: Theories, Tools, Experiments is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.

Verified Software: Theories, Tools, Experiments
meer afbeeldingen
  • EAN9783540691471
38.013.721producten
137.027merken
927winkels