> > > > > introducing-software-verification-with-dafny-language-proving-program-correctness

Boro Sitnikovski - Introducing Software Verification With Dafny Language: Proving Program Correctness

Het boek Introducing Software Verification With Dafny Language: Proving Program Correctness van de auteur Boro Sitnikovski is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "Introducing Software Verification With Dafny Language: Proving Program Correctness" is nieuw te koop vanaf € 28,04 bij Bol.com.

Nieuw (1) vanaf € 28,04 bij Bol.com Toon 1 nieuw boek
Bent u de schrijver van dit boek of weet u iets over deze auteur?

Omero.nl is druk bezig om informatie over auteurs toe te voegen. Neem contact met ons op via support@omero.nl om een auteursprofiel aan te maken met een foto, biografie, website adres en sociale media links.
Nieuw
We hebben 1 nieuw boek gevonden
Introducing Software Verification With Dafny Language: Proving Program Correctness

Type: Paperback
ISBN: 9781484279779
Levertijd: 24

Aanbieder:
€ 28,04
Bekijk boek


Andere populaire boeken van Boro Sitnikovski
We hebben meer boeken van de Auteur gevonden. Hieronder ziet u de 3 boeken waar het meeste aanbod van is.
Introduction To Dependent Types With Idris

ISBN: 9781484292587


Bekijk boek

Nieuw (1)
€ 32,99
Tweedehands (0)
Bekijk hier alle boeken van Boro Sitnikovski