Boek

A proof-checked verification of a real-time communication protocol

«

Score:

(3/0)

Aantal recensies:

0

Aantal keer getipt:

0

Aantal keer gelezen:

0

Auteur(s):

I. Polak

Categorie:

NUR

Non-fictie informatief

ISBN

9789039308585

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Er zijn nog geen verbanden gelegd.

A proof-checked verification of a real-time communication protocol

Welkom op Boeklezers.nl

Boeken zoals A proof-checked verification of a real-time communication protocol door I. Polak