Software Engineering and Formal Methods

PMHNP Certification Practice Q&A

author

689,95 kr.

Neonatal Intensive Care Nursing Exam Prep Study Guide

author

279,95 kr.

Adult-Gerontology Acute Care Nurse Practitioner Certification Practice Q&A

author

619,95 kr.

CEN® Exam Prep Study Guide

author

279,95 kr.

Adult CCRN® Exam Prep Study Guide

author

279,95 kr.

CNOR® Exam Prep Study Guide

author

279,95 kr.

Pediatric Nursing Exam Prep Study Guide

author

279,95 kr.

PCCN® Exam Prep Study Guide

author

279,95 kr.

C-EFM® Exam Prep Study Guide

author

279,95 kr.

RNC-OB® Exam Prep Study Guide

author

279,95 kr.

Medical-Surgical Nursing Certification Express Review

author

419,95 kr.

Medical-Surgical Nursing Certification Practice Q&A

author

484,95 kr.

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

749,95 kr.

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

374,95 kr.

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

374,95 kr.

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

549,95 kr.

Formal Methods and Software Engineering

374,95 kr.

Unifying Theories of Programming and Formal Engineering Methods

374,95 kr.

Formal Methods for Model-Driven Engineering

Author

374,95 kr.

Web Services and Formal Methods

Roberto Bruni; Karsten Wolf

374,95 kr.

Theories of Programming and Formal Methods

374,95 kr.

Leveraging Applications of Formal Methods, Verification, and Validation

Reiner Hähnle; ‎Jens Knoop; ‎Tiziana Margaria

224,95 kr.

Web Services, Formal Methods, and Behavioral Types

299,95 kr.

Formal Methods for Software Architectures

Marco Bernardo; ‎Paola Inverardi

374,95 kr.