Textbooks in Mathematics

Formal Methods in Computer Science

Jiacun (Monmouth University, West Long Branch, New Jersey, USA) Wang & William (Monmouth University, West Long Branch, New Jersey, USA) Tepfenhart

Textbooks in Mathematics: Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Nog te verschijnen

€ 177,80

Bezorgen: Zodra beschikbaar

in winkelwagen naar verlanglijst

Beschrijving Textbooks in Mathematics: Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

ISBN: 9780367225704
Pagina's: 296
Verschenen: 28-06-2019
Serie: Textbooks in Mathematics
Rubriek: Literaire fictie

Druk: 1
Uitvoering: Hardback
Taal: Engels
Uitgever: Taylor & Francis Ltd

Cozy Critters Day Planner

Plan Your Day, One Cozy Moment at a Time Life can feel busy, but staying organized doesn’t have to be complicated. The Cozy Critters Day Planner is your cheerful companion for creating a calmer, more intentional day.

Writing that Matters

Writing that Matters offers practical guidance for becoming a more confident writer. From fundamentals and style to structure and lessons from master writers, you will develop skills that serve you throughout your academic journey.

The Creative Spiral

Drawing from personal and professional creative experiences as well as contemporary research in creativity psychology, positive psychology, and developmental science, the book presents a unique model that helps readers explore where they are in their own creative journey and how to move forward with greater clarity, and confidence.