This book demonstrates that the concept of an instruction sequence offers a novel and useful view...

Notations for Software Design aims to explain formal specification and design to practitioners in...

This book demonstrates that the concept of an instruction sequence offers a novel and useful view...

This open access book discusses biogeochemical processes relevant to carbon and aims to provide r...

SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-2...

This book is concerned with a number of theories that can be used for describ ing and analyzing s...

This book is concerned with a number of theories that can be used for describ ing and analyzing s...

Transform enterprise big data into valuable assets with this comprehensive guide to data analysis...

Businesses who can make sense of the huge influx and complexity of data will be the big winners i...

This reprint contains 11 chapters on a wide range of subjects related to the impacts of different...

Thermodynamics is needed to understand many processes on Earth, be they physical, chemical, or bi...