Concurrency, Specification and ProgrammingBernd-Holger Schlingloff, Thomas Vogel, Andrzej SkowronInbunden, 20231 793 kr
Concurrency, Specification and ProgrammingBernd-Holger Schlingloff, Thomas Vogel, Andrzej SkowronHäftad, 20241 793 kr
Concurrency, Specification and ProgrammingAndrzej Skowron, Thomas Vogel, Bernd-Holger Schlingloff E-bok20232 281 kr
Formal Methods for Software EngineeringMarkus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed ShaikhInbunden, 2022539 kr
Formal Methods for Software EngineeringSiraj Ahmed Shaikh, Gerardo Schneider, Bernd-Holger Schlingloff, Antonio Cerone, Markus Roggenbach E-bok2022840 kr
Formal Methods for Software EngineeringMarkus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed ShaikhHäftad, 2023422 kr