Logic in computer science : modelling and reasoning about systems

2623

Купить

Краткое содержание:

Экранизация книги

Logic in computer science : modelling and reasoning about systems

Name: Logic in computer science : modelling and reasoning about systems
Rating: 4.5
ISBN: 0-521-54310-X

Авторы:

Huth Michael
Ryan Mark

Год:

2005

isbn:

0-521-54310-X

Язык:

Английский

Страниц:

427

Редакция:

[2nd ed., Repr.].

Описание:

Huth M., Ryan M. Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. - [2nd ed., Repr.]. - Cambridge [etc.] : Cambridge univ. press, 2005. - XIV, 427 с. : ил. ; 25 см. - Библиогр.: с. 414-417. - Указ.: с. 418-427

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

Программирование(компьют.) → Математические основы

Примечания:

Библиогр.: с. 414-417 . - Указ.: с. 418-427

Дата создания:

2021-10-20 06:58:53

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека

Иссык-Кульская область, с. Кызыл-Суу
Манаса, 192

Пн: 09:00-12:00 13:00-17:00
Вт: 09:00-12:00 13:00-17:00
Ср: 09:00-12:00 13:00-17:00
Чт: 09:00-12:00 13:00-17:00
Пт: 09:00-12:00 13:00-17:00

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная детская библиотека, г. Чехов

Московская область, Чеховский район, Чехов
Чехова, 2

санитарный день: последняя пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:30-17:00

Вконтакте: https://vk.com/mcb.chekhov
Инстаграм: https://instagram.com/chehov_detbibl

+7 (496) 722-30-50

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека им. А. Пискунова

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Советский район
Светлогорский переулок, 13

санитарный день: последний чт месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вс: 10:00-16:00

+7 (831) 412-00-61

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная Библиотечная Система, МКУ

Челябинская область, Миасский городской округ, Миасс, Ильменский посёлок ж/м
Степана Разина, 29

июнь-август: пн-пт 10:00-18:00; вс выходной; санитарный день: второй чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00

www.miasslib.ru
Вконтакте: https://vk.com/miasslib
Facebook: https://facebook.com/miasslib
Одноклассники: https://ok.ru/miasslib

+7 (3513) 57-21-40

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Городская библиотека семейного чтения №8

Вологодская область, Вологда городской округ, Вологда, Бывалово
Трактористов, 5

санитарный день: последний день месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

cbs-vologda.ru

+7 (8172) 71-23-01

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная районная библиотека им. Д.Н. Мамина-Сибиряка

Санкт-Петербург, Санкт-Петербург, Пушкинский район, МО "г. Пушкин"
Малая, 20

санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Сб: 11:00-17:00
Вс: 11:00-17:00

cbspushkin.spb.ru

+7 (812) 466-59-40 +7 (812) 466-59-39

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №20

Волгоградская область, Волгоград городской округ, Волгоград, Тракторозаводский район, Спартановка
Николая Отрады, 1а

санитарный день: последний чт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00

volglib.ru
Вконтакте: https://vk.com/library_fil_20

+7 (8442) 79-44-54

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Яблоновская городская библиотека №4

Республика Адыгея, Тахтамукайский район, пгт Яблоновский
Лаухина, 7а

санитарный день: последняя пт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-14:00

+7 (87771) 9-89-64 +7-918-432-87-98

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №4

Республика Татарстан, Казань городской округ, Казань, Приволжский
Владимира Кулагина, 4

санитарный день: последний пн месяца; зимний период: пн-вт, чт-пт 9:00-19:00; ср выходной
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00

+7 (843) 278-47-90

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Мир женщины, библиотека

Омская область, Омск городской округ, Омск, Кировский округ, 2-й микрорайон
Лесной проезд, 4

санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00

www.lib.omsk.ru
Вконтакте: https://vk.com/lovebooks
Youtube: https://youtube.com/user/OMB19761/videos

+7 (3812) 73-35-88 +7-953-396-85-20

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека

Иссык-Кульская область, с. Кызыл-Суу
Манаса, 192

Пн: 09:00-12:00 13:00-17:00
Вт: 09:00-12:00 13:00-17:00
Ср: 09:00-12:00 13:00-17:00
Чт: 09:00-12:00 13:00-17:00
Пт: 09:00-12:00 13:00-17:00

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная детская библиотека, г. Чехов

Московская область, Чеховский район, Чехов
Чехова, 2

санитарный день: последняя пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:30-17:00

Вконтакте: https://vk.com/mcb.chekhov
Инстаграм: https://instagram.com/chehov_detbibl

+7 (496) 722-30-50

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека им. А. Пискунова

санитарный день: последний чт месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вс: 10:00-16:00

+7 (831) 412-00-61

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная Библиотечная Система, МКУ

Челябинская область, Миасский городской округ, Миасс, Ильменский посёлок ж/м
Степана Разина, 29

www.miasslib.ru
Вконтакте: https://vk.com/miasslib
Facebook: https://facebook.com/miasslib
Одноклассники: https://ok.ru/miasslib

+7 (3513) 57-21-40

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Городская библиотека семейного чтения №8

Вологодская область, Вологда городской округ, Вологда, Бывалово
Трактористов, 5

санитарный день: последний день месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

cbs-vologda.ru

+7 (8172) 71-23-01

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная районная библиотека им. Д.Н. Мамина-Сибиряка

Санкт-Петербург, Санкт-Петербург, Пушкинский район, МО "г. Пушкин"
Малая, 20

санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Сб: 11:00-17:00
Вс: 11:00-17:00

cbspushkin.spb.ru

+7 (812) 466-59-40 +7 (812) 466-59-39

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №20

санитарный день: последний чт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00

volglib.ru
Вконтакте: https://vk.com/library_fil_20

+7 (8442) 79-44-54

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Яблоновская городская библиотека №4

Республика Адыгея, Тахтамукайский район, пгт Яблоновский
Лаухина, 7а

санитарный день: последняя пт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-14:00

+7 (87771) 9-89-64 +7-918-432-87-98

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №4

Республика Татарстан, Казань городской округ, Казань, Приволжский
Владимира Кулагина, 4

+7 (843) 278-47-90

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Мир женщины, библиотека

Омская область, Омск городской округ, Омск, Кировский округ, 2-й микрорайон
Лесной проезд, 4

санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00

www.lib.omsk.ru
Вконтакте: https://vk.com/lovebooks
Youtube: https://youtube.com/user/OMB19761/videos

+7 (3812) 73-35-88 +7-953-396-85-20

Показать номер

Logic in computer science : modelling and reasoning about systems

Купить

Реферат по теме Logic in computer science : modelling and reasoning about systems

Курсовая по теме Logic in computer science : modelling and reasoning about systems

ВКР/Диплом по теме Logic in computer science : modelling and reasoning about systems

Диссертация по теме Logic in computer science : modelling and reasoning about systems

Заработать на знаниях по теме Logic in computer science : modelling and reasoning about systems

Реставрация Logic in computer science : modelling and reasoning about systems