My nursery in 100 words, Qed Publishing

Автор: Qed Publishing
Название: Reading gems: top spot (level 2)
ISBN: 1786036045 ISBN-13(EAN): 9781786036049
Издательство: Quarto
Рейтинг:
Цена: 725.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Flat Fizz is not fast like Sprat. He is not bright like Dot and he is not funny like Puff. But is Fizz the dullest fish in the sea?

Автор: Qed Publishing
Название: Reading gems: story town (level 1)
ISBN: 1786036002 ISBN-13(EAN): 9781786036001
Издательство: Quarto
Рейтинг:
Цена: 725.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Jazz reads her stories to the children of Story Town. But she is very busy, so she needs a plan...

Автор: Ringer, Talia Palmskog, Karl Sergey, Ilya Gligoric, Milos Tatlock, Zachary
Название: Qed at large
ISBN: 1680835947 ISBN-13(EAN): 9781680835946
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 13306.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.