• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Algebraic Formalization of Smart Systems: Theory and Practice

Algebraic Formalization of Smart Systems: Theory and Practice

Paperback

Series: Smart Innovation, Systems and Technologies, Book 91

Technology & EngineeringGeneral Computers

ISBN10: 3030083586
ISBN13: 9783030083588
Publisher: Springer Nature
Published: Jan 24 2019
Pages: 189
Weight: 0.72
Height: 0.48 Width: 6.14 Depth: 9.21
Language: English

This book reveals the general laws of the theory of smart systems with the help of a very powerful and expressive language of algebraic formalization. It also shows how this language can be used to substantiate practical results in the field of smart systems, which previously had only an empirical justification. Further, it proposes a translation of the theory of smart systems from verbal language to a much more expressive language of algebraic formalization, allowing the laws of the theory of smart systems to be seen in a different light.

1 different editions

Also available

Also in

General Computers