Produkt mají v nabídce:
Data Refinement - de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germany) a Engelhardt, Kai (University of Technology, Sydney)
Graduate text in formal methods in computer science.
Graduate text in formal methods in computer science.