Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Switching Theory

Name: Switching Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562723
Price: 102.97 EUR
Availability: InStock
Author: S. P. Vingron
ISBN: 9783540403432

Insight through Predicate Logic

S. P. Vingron

Language

English

Book Hardback

Libristo code: 01562723

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2003

The author s main concern is to promote understanding of the basic ideas underlying switching theory... Full description

Libristo code: 01562723

249 b

102.97 €

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Sistema de acciones para preservar el patrimonio cultural vivo Edilma Pavón Díaz

Paperback

32.06 €

Mathematik 2 Klaus Jänich

Paperback

47.23 €

Historia de Suecia Neil Kent

Paperback

28.01 €

Bog tworeniq w induizme Brahma Dr.Morusu Siwa Sankar

Paperback

39.14 €

COVID 19 PRIETO MURIEL

Paperback

19.01 €

Beziehung und Bruch in der Poetik Gertrud Kolmars Friederike Heimann

Hardback

138.17 €

Nordlicht - 1.000 Teile (Puzzle)

Game

31.55 €

Texte zur Ethik Detlef Horster

Paperback

11.32 €

Federico Fellini. Biografía Alpert

Paperback

27.81 €

Samtliche Werke Franz Grillparzer

Paperback

53.40 €

Genclik Hatirasi Ece Altinkaya

Paperback

17.19 €

Zur Schwereeinschätzung von Straftaten und zu kriminalpolitischen Einstellungen im Ost-West-Vergleich Isabel Redies

Paperback

20.73 €

General Nord Alexis. Tome 1 Frederic Marcelin

Paperback

23.96 €

Erfolgstechniken Max Frankes

Paperback

35.70 €

Allen Gewalten zum Trotz Erwin Rosen

Paperback

13.54 €

Aphorismen Wilhelm Heinse

Paperback

8.18 €

Der gelbe Pfad der Erde Jochen Rubik

Paperback

16.88 €

Werdenfelser Land, Zugspitz-Region Manfred Amann

Hardback

19.72 €

Europaische Krieg (1914-1918) John W. Burgess

Paperback

26.80 €

Cours d'histoire moderne François Guizot

Paperback

56.54 €

The author s main concern is to promote understanding of the basic ideas underlying switching theory. Nothing is taken for granted, whether it is the concept of a logic variable, that of feedback in a latch or sequential circuit, or the necessity to encode internal states. This very basic and thorough approach enables the development of new concepts such as Composition, or Verification. The theoretical side is enhanced by using predicate (instead of propositional) logic allowing for formal proofs till now unattainable. On the practical side, sequential circuits that hitherto were obtained intuitively are now open to a formal synthesis procedure.