Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

All About Maude - A High-Performance Logical Framework

Name: All About Maude - A High-Performance Logical Framework
Brand: Springer, Berlin
SKU: 01568426
Price: 99.34 EUR
Availability: InStock
Author: Manuel Clavel
ISBN: 9783540719403

How to Specify, Program, and Verify Systems in Rewriting Logic

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01568426

Nakladateľstvo Springer, Berlin, november 2006

Maude is a language and system based on rewriting logic. In this comprehensive account, you ll disco... Celý popis

Libristo kód: 01568426

241 b

99.34 €

Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

Až 30 dní na vrátenie tovaru

Maude is a language and system based on rewriting logic. In this comprehensive account, you ll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov All About Maude - A High-Performance Logical Framework

Autor Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln

Jazyk

Angličtina

Väzba Kniha - Pevná

Dátum vydania 2007

Počet strán 802

EAN 9783540719403

ISBN 3540719407

Libristo kód 01568426

Nakladateľstvo Springer, Berlin

Váha 1240

Rozmery 155 x 236 x 30

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Matematika a veda > Matematika > Matematické základy > Matematická logika

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Umelá inteligencia