Media type: Report; E-Book Title: Event-B development of the FindP program Contributor: Hoang, Thai Son [Author]; Abrial, Jean-Raymond [Author] Published: ETH, Department of Computer Science, 2009 Published in: Technical Report / ETH Zurich, Department of Computer Science, 653 Language: English DOI: https://doi.org/20.500.11850/69270; https://doi.org/10.3929/ethz-a-006829959 Keywords: Data processing ; VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ; DISTRIBUTED ALGORITHMS + PARALLEL ALGORITHMS (PROGRAMMING METHODS) ; VERTEILTE ALGORITHMEN + PARALLELE ALGORITHMEN (PROGRAMMIERMETHODEN) ; CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS) ; computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted