Formal Methods in Computer Science, Jiacun Wang, William Tepfenhart

Автор: Wang, Jiacun,
Название: Formal Methods In Computer Science
ISBN: 1498775322 ISBN-13(EAN): 9781498775328
Издательство: Taylor&Francis
Рейтинг:
Цена: 11789.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Автор: Benjamin Weyers; Judy Bowen; Alan Dix; Philippe Pa
Название: The Handbook of Formal Methods in Human-Computer Interaction
ISBN: 3319847546 ISBN-13(EAN): 9783319847542
Издательство: Springer
Рейтинг:
Цена: 41925.00 р.
Наличие на складе: Поставка под заказ.

Автор: Bjr?ner, Nikolaj; De Boer, Frank
Название: FM 2015 : formal methods
ISBN: 3319192485 ISBN-13(EAN): 9783319192482
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.

Автор: Carlo A. Furia and Kirsten Winter
Название: Integrated formal methods.
ISBN: 3319989375 ISBN-13(EAN): 9783319989372
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.

Автор: Hasuo
Название: Coalgebraic Methods in Computer Science
ISBN: 3319403699 ISBN-13(EAN): 9783319403694
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Fixed Points of Functors - A Survey.- Compositional Coinduction with Sized Types.- Lawvere Theories as Composed PROPs.- Transitivity and Difunctionality of Bisimulations.- Affine Monads and Side-Effect-Freeness.- Duality of Equations and Coequations via Contravariant Adjunctions.- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.- Product Rules and Distributive Laws.- On the Logic of Generalised Metric Spaces.- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors.- Coalgebraic Completeness-via-Canonicity: Principles and Applications.- Relational Lattices via Duality.- On Local Characterization of Global Timed Bisimulation for Abstract.

Автор: Peter H?fner; Damien Pous; Georg Struth
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319574175 ISBN-13(EAN): 9783319574172
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions.

Автор: Marcello M. Bonsangue
Название: Coalgebraic Methods in Computer Science
ISBN: 3662441233 ISBN-13(EAN): 9783662441237
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Автор: Andr?s Bruhn; Thomas Pock; Xue-Cheng Tai
Название: Efficient Algorithms for Global Optimization Methods in Computer Vision
ISBN: 3642547737 ISBN-13(EAN): 9783642547737
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the International Dagstuhl-Seminar on Efficient Algorithms for Global Optimization Methods in Computer Vision, held in Dagstuhl Castle, Germany, in November 2011.

Автор: Wolfram Kahl; Michael Winter; Jos? Oliveira
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319247034 ISBN-13(EAN): 9783319247038
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions.

Автор: Hartmut Ehrig; Horst Herrlich; Hans-J?rg Kreowski;
Название: Categorical Methods in Computer Science
ISBN: 3540517227 ISBN-13(EAN): 9783540517221
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin.

Автор: Peter H?fner; Peter Jipsen; Wolfram Kahl; Martin E
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319062506 ISBN-13(EAN): 9783319062501
Издательство: Springer
Рейтинг:
Цена: 11598.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions.

Автор: V. Bykov; A. Kytmanov; M. Lazman; Mikael Passare
Название: Elimination Methods in Polynomial Computer Algebra
ISBN: 9401062307 ISBN-13(EAN): 9789401062305
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The subject of this book is connected with a new direction in mathematics, which has been actively developed over the last few years, namely the field of polynomial computer algebra, which lies at the intersection point of algebra, mathematical analysis and programming.