J. R. Abrial Forfatter
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
Viser 1 - 1 af 1 resultat
-
The B-Book: Assigning Programs to Meanings (Bog, Paperback / softback, Engelsk)
The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. Formal methods practitioners,... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat