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

Markedets billigste bøger

Gratis fragt fra 599,- kr

Levering: 1 - 2 hverdage

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.085,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.085,95 kr.
Se mere
High Performance Computing for Computational Science - VECPAR 2002

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

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