De favoriet van de lezers is momenteel uitverkocht.

Heb je het in de bibliotheek?Verdien van € 0,68 tot € 1,61 door dit boek te verkopen.

Lecture Notes in Computer Science

Auteurs

B.T. Hailpern

Parameters

Meer over het boek

This work presents a technique for proving safety and liveness properties of parallel programs. It describes new tools for verifying programs and heuristics for developing proofs.

Een boek kopen

Lecture Notes in Computer Science, B.T. Hailpern

Taal
Jaar van publicatie: 1982
product-detail.submit-box.info.binding: (Paperback)

Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief

Informatie over de releaseEen wijziging voorstellen

Titel: Lecture Notes in Computer Science
Taal: Engels
Auteurs: B.T. Hailpern
Uitgever: Springer Science & Business Media
Jaar van publicatie: 1982
Formaat: Paperback
ISBN10: 3540112057
ISBN13: 9783540112051
Reeks
Tags: Non-fictie, Technologie & Industrie, Computers & Internet
Aantekening: This work presents a technique for proving safety and liveness properties of parallel programs. It describes new tools for verifying programs and heuristics for developing proofs.