Abstract State Machines, B and Z, Egon B?rger; Michael Butler; Jonathan P. Bowen; Pa

Автор: Shankar
Название: Metamaths, Machines & Godel`s Proof
ISBN: 0521585333 ISBN-13(EAN): 9780521585330
Издательство: Cambridge Academ
Рейтинг:
Цена: 7128.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Describes the use of computer programs to check several proofs in the foundations of mathematics.

Автор: J?r?me Durand-Lose; Maurice Margenstern
Название: Machines, Computations, and Universality
ISBN: 3540745920 ISBN-13(EAN): 9783540745921
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 5th International Conference on Machines, Computations, and Universality, MCU 2007, held in Orleans, France, September 10-13, 2007. This book presents 18 revised full papers together with 9 invited papers that were reviewed and selected.

Автор: Bajnok Bela
Название: Invitation to Abstract Mathematics
ISBN: 1461466350 ISBN-13(EAN): 9781461466352
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presenting historical perspective and notes on important figures in mathematics, covering current activity in the mathematical community, and raising famous and lesser-known questions, this book shows that abstract mathematics is a vibrant, dynamic enterprise.

Автор: Gilles Barthe; Manuel Hermenegildo
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 3642113184 ISBN-13(EAN): 9783642113185
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010.

Автор: Craig Iain D.
Название: Virtual Machines
ISBN: 1849969809 ISBN-13(EAN): 9781849969802
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: I love virtual machines (VMs) and I have done for a long time.If that makes me "sad" or an "anorak", so be it.

Автор: Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor
Название: Abstract State Machines, Alloy, B, TLA, VDM, and Z
ISBN: 3319335995 ISBN-13(EAN): 9783319335995
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.

Автор: Werner Kluge
Название: Abstract Computing Machines
ISBN: 3642059384 ISBN-13(EAN): 9783642059384
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

Автор: Tiziano Villa; Timothy Kam; Robert K. Brayton; Alb
Название: Synthesis of Finite State Machines
ISBN: 0792398920 ISBN-13(EAN): 9780792398929
Издательство: Springer
Рейтинг:
Цена: 27951.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume addresses functional optimization, whereas second addresses logic optimization. It is of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits.

Автор: Marc Frappier; Uwe Gl?sser; Sarfraz Khurshid; R?gi
Название: Abstract State Machines, Alloy, B and Z
ISBN: 3642118100 ISBN-13(EAN): 9783642118104
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. This book presents the 26 full papers that were reviewed and selected from 60 submissions. It also contains two invited talks and abstracts of 18 short papers.