Terug Terug

Specification of Software Systems

Name: Specification of Software Systems
Author: Vangalur S. Alagar

Auteur: Vangalur S. Alagar

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Vangalur S. Alagar K. Periyasamy

Engels
Hardcover
9780387984308
01 oktober 1998
442 pagina's

Alle productspecificaties

Samenvatting

This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Hardcover
Oorspronkelijke releasedatum: 01 oktober 1998
Aantal pagina's: 442

Betrokkenen

Hoofdauteur: Vangalur S. Alagar
Tweede Auteur: K. Periyasamy
Hoofduitgeverij: Springer-Verlag New York Inc.

Overige kenmerken

Editie: New title
Studieboek: Ja
Verpakking breedte: 254 mm
Verpakking hoogte: 178 mm
Verpakking lengte: 178 mm
Verpakkingsgewicht: 1065 g

EAN

EAN: 9780387984308

Je vindt dit artikel in

Categorieën: Computers & Informatica

Programmeren

Boeken
Taal: Engels
Boek, ebook of luisterboek?: Boek
Beschikbaarheid: Leverbaar
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.