• Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten

Software Specification

A Comparison of Formal Methods

Marvin V Zelkowitz, Jim Purtilo, John D Gannon
€ 35,45
+ 70 punten
Uitvoering
Verwachte leverdatum onbekend
Eenvoudig bestellen
Veilig betalen
Gratis thuislevering vanaf € 30 (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

This volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques.

Specificaties

Betrokkenen

Auteur(s):
Uitgeverij:

Inhoud

Aantal bladzijden:
249
Taal:
Engels
Reeks:

Eigenschappen

Productcode (EAN):
9781567500349
Verschijningsdatum:
1/05/1995
Uitvoering:
Paperback
Formaat:
Trade paperback (VS)
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 70 punten op je klantenkaart van Standaard Boekhandel
AANGERADEN

Alles voor een vliegende start

op school en op kantoor
AANGERADEN
Tips voor een vliegende start
E-BOOK ACTIE

Tot meer dan 50% korting

op een selectie e-books
E-BOOK ACTIE
E-book kortingen
Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.