• 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

Lezen

Leren

Geven

Beleven

Jonge gezinnen

Alle producten

Onze boekenbon

Alle promoties

Volg ons op

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Zoek een winkel

  2. Boeken
  3. Non-fictie
  4. Informatica
  5. Programmeren
  6. Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Paperback | Engels | Formal Approaches to Computing and Information Technology (F
€ 259,45
+ 518 punten
Levering 2 à 3 weken
Eenvoudig bestellen
Veilig betalen
Gratis thuislevering vanaf € 30 (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.

Specificaties

Betrokkenen

Uitgeverij:
Springer

Inhoud

Aantal bladzijden:
400
Taal:
Engels
Reeks:
Formal Approaches to Computing and Information Technology (F

Eigenschappen

Productcode (EAN):
9781852336400
Verschijningsdatum:
17/09/1999
Uitvoering:
Paperback
Bestandsformaat:
Trade paperback (VS)
Afmetingen:
155 mm x 233 mm
Gewicht:
616 g
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 518 punten op je klantenkaart van Standaard Boekhandel
MUST-HAVES

Hier bloeit iets

Nu dubbele punten op onze selectie nieuwe titels
Kies jouw favorieten
MUST-HAVES
Hier bloeit iets
AANGERADEN

Onze cadeautips

voor Vaderdag
Vind een gepast geschenk
AANGERADEN
Onze cadeautips voor Vaderdag
VADERDAG ACTIE

Alleen in onze winkels: kortingsbon van € 10 voor e-books

bij een Vivlio e-reader
Kies je e-reader
VADERDAG ACTIE
Vivlio e-reader + € 10 aan e-books
Standaard Boekhandel

Beoordelingen

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

Uitgelichte categorieën

Geschiedenis

Strips, Comics & Graphic Novels

Mens & Maatschappij

Kookboeken

Hobby

Science fiction & Fantasy

Psychologie

Wetenschap

Kunst & Cultuur

Onderwijs & Pedagogie

Sport

Economie & Management

Zelfzorg, Gezin & Gezondheid

Reizen

Taal

Religie & Spiritualiteit