Эта книга посвящена современным аспектам развития высокоскоростных объединенных TCP/IP и ATM сетей. В ней рассматривается широкий круг вопросов: от обработки одиночного пакета или ячейки в очереди на маршрутизаторе или коммутаторе до универсальных методов резервирования сетевых ресурсов для определенного типа трафика; от определения характеристик потока данных до способов их сжатия, позволяющих снизить нагрузку на сеть. Книга будет интересна всем, кто хотел бы получить представление о современном уровне развития, архитектуре и разработке высокоскоростных компьютерных сетей.

Математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории булевых алгебр. Имеется большое число упражнений учебного характера.