Udvidet returret til d. 31. januar 2025

Bøger af Marina Waldén

Filter
Filter
Sorter efterSorter Populære
  • - Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
    af Didier Bert
    1.096,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.

  • af Jack Dongarra, Jose M. L. M. Palma, Vicente Hernandez, mfl.
    1.112,95 kr.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.