Bokus

Miklos Biro – författare

Visar alla böcker från författaren Miklos Biro. Handla med fri frakt och snabb leverans.

2 produkter

  1. Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro - Abstract State Machines, Alloy, B, TLA, VDM, and Z, Häftad. Tillgänglighet: Lägg i varukorg

    Abstract State Machines, Alloy, B, TLA, VDM, and Z

    5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

    Av Michael Butler, Klaus-Dieter Schewe m. fl.

    Häftad, 2016

    566 kr

    Lägg i varukorg

    This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. The 17 full and 15 short papers presented in this volume were carefullyreviewed and selected from 61 submissions. They …

  2. Miklos Biro, Atif Mashkoor, Klaus-Dieter Schewe, Michael Butler - Abstract State Machines, Alloy, B, TLA, VDM, and Z, E-bok. Tillgänglighet: Lägg i varukorg

    Abstract State Machines, Alloy, B, TLA, VDM, and Z

    5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

    Av Miklos Biro, Atif Mashkoor m. fl.

    E-bok, 2016

    732 kr

    Lägg i varukorg

    This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. The 17 full and 15 short papers presented in this volume were carefullyreviewed and selected from 61 submissions. They …