phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Algebraic Foundations of Systems Specification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Algebraic Foundations of Systems Specification Egidio Astesiano
Libristo kód: 06873556
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, října 2011
This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundat... Celý popis
? points 154 b
1 542 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Demokratien in Europa Ines Katenhusen / Brožovaná
common.buy 1 678 Kč
Is God Really In Control? [Simplified Chinese Script] Jerry Bridges / Brožovaná
common.buy 343 Kč
AM Fungi to Boost BT Cotton yeild Bharat Shinde / Brožovaná
common.buy 2 490 Kč
30 Days to Taming Your Finances Deborah Smith Pegues / Brožovaná
common.buy 216 Kč
Low Power Interface Circuits between Adiabatic and Standard CMOS Logic Neha Arora / Brožovaná
common.buy 1 168 Kč
Alla ricerca della via piu breve Peter Gritzmann / Brožovaná
common.buy 585 Kč
Human Memory Robert L. Greene / Brožovaná
common.buy 1 563 Kč
Design of Normal Concrete Mixes D.C. Teychenne / Brožovaná
common.buy 982 Kč
Locke's Two Treatises of Government Richard Ashcraft / Pevná
common.buy 6 137 Kč
Babylonians Gwendolyn Leick / Brožovaná
common.buy 1 480 Kč
LES PPP À TRAVERS LE SPECTRE DE LA NOUVELLE GESTION PUBLIQUE Jessica Amiot / Brožovaná
common.buy 1 541 Kč
Spectre in the Dark Fei-hsuan Kuo / Brožovaná
common.buy 1 984 Kč
Neurobiologia del Amor, Infidelidad y Celos Pedro Montilla López / Brožovaná
common.buy 827 Kč

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.

Informace o knize

Plný název Algebraic Foundations of Systems Specification
Autor Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 616
EAN 9783642641510
ISBN 3642641512
Libristo kód 06873556
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 943
Rozměry 155 x 235 x 34

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet