Bøger af Marina Waldén - tales.dk

Vi bøger

Levering: 1 - 2 hverdage

Forlænget returret til d. 31. januar 2025

Populære

ZB 2003: Formal Specification and Development in Z and B

- Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

af Didier Bert

1.150,95 kr.

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
- Bog
- 1.150,95 kr.
Se mere
High Performance Computing for Computational Science - VECPAR 2002

af Jack Dongarra, Jose M. L. M. Palma, Vicente Hernandez, mfl.

1.166,95 kr.
- Bog
- 1.166,95 kr.
Se mere