Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings (Lecture Notes in Computer Science, 735)
Bjorner, Dines; Broy, Manfred & Pottosin, Igor
Venduto da Mispah books, Redhill, SURRE, Regno Unito
Venditore AbeBooks dal 15 aprile 2021
Usato - Brossura
Condizione: Usato - Come nuovo
Quantità: 1 disponibili
Aggiungere al carrello