Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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, říjen 2011
This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundat... Celý popis
? points 125 b
1 250 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

YAWARA! Nº 04/20 URASAWA / Kniha Kniha
common.buy 691 Kč
INVETTIVE ED INVOCAZIONI SUL DIES IRAE ROMAN VLAD Kniha binding.
common.buy 7 543 Kč
Geschichte der bulgarischen Literatur / Kniha Pevná
common.buy 814 Kč
Připravujeme
Den otce Buzz Bissinger / Kniha Pevná
common.buy 251 Kč
Chinaski: 11 Chinaski / Audio Audio CD
common.buy 303 Kč
100 mirades a la colòlecció Vélez Vicente / Kniha Brožovaná
common.buy 528 Kč
Kasmir - Annoskateus. Stooreja ja reseptejä Erkka Mykkänen / Kniha Pevná
common.buy 799 Kč
Maîtres des dragons, Tome 12 TRACY WEST / Kniha Kniha
common.buy 239 Kč
Rental Girlfriend 15 Jens Ossa / Kniha Brožovaná
common.buy 181 Kč
ABGABENORDNUNG & FGO 2022 Dürckheim-Markierhinweise/Fußgängerpunkte für das Steuerberaterexamen: Dürckheim'sche Markierhinweise Thorsten Glaubitz / Kniha Brožovaná
common.buy 366 Kč
Fame Knut Hamsun / Kniha Brožovaná
common.buy 291 Kč
Aktuelle Fortschritte bei der Modellierung und Simulation - 2021 Abstract Book Ramanpreet Singh / Kniha Brožovaná
common.buy 949 Kč
Le règne de l'Empereur - T3 L'Elfe Gindre / Kniha Brožovaná
common.buy 561 Kč
BRUNZEL FUNDAMENTOS DEL ANALISIS DE ORINA Y FLUIDOS CORPORA / Kniha Kniha
common.buy 4 553 Kč
Neurobiologia del Amor, Infidelidad y Celos Pedro Montilla López / Kniha Brožovaná
common.buy 629 Kč
Is God Really In Control? [Simplified Chinese Script] Jerry Bridges / Kniha Brožovaná
common.buy 257 Kč
Guía del lector de diarios José Luis Melero Rivas / Kniha Brožovaná
common.buy 379 Kč
Osteopatia lumbar y pelvis DVD Fajardo Ruiz / Kniha Brožovaná
common.buy 494 Kč
Réévaluation de l'optimalité de la politique monétaire de la BCEAO Cédric Ekra / Kniha Brožovaná
common.buy 1 077 Kč
Připravujeme
Scott, L: Tote ruhen nicht / Kniha Brožovaná
common.buy 178 Kč
Intelligenza e pregiudizio. Contro i fondamenti scientifici del razzismo Stephen J. Gould / Kniha Brožovaná
common.buy 940 Kč
Cadernos de Ciencias Penais - Reflexoes sobre as teorias do tipo Alexis Couto de Brito / Kniha Brožovaná
common.buy 842 Kč
L'enseignement de Las Vegas Scott Brown / Kniha Brožovaná
common.buy 1 022 Kč
Alla ricerca della via piu breve Peter Gritzmann / Kniha Brožovaná
common.buy 491 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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

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

Mohlo by vás také zajímat

Nonlinear Time Series Jiti Gao / Kniha Brožovaná
common.buy 2 281 Kč
Loved (Book #2 in the Vampire Journals) Morgan Rice / Kniha Brožovaná
common.buy 271 Kč
Připravujeme
Prince Lestat Anne Rice / Kniha Brožovaná
common.buy 156 Kč
Avalon Castle Rosemary Craddock / Kniha Pevná
common.buy 614 Kč
A Doubter's Almanac Ethan Canin / Kniha Brožovaná
common.buy 410 Kč
Two Prospectors Sam Shepard / Kniha Brožovaná
common.buy 391 Kč
Christ's Voice to London; And the Great Day of God's Wrath DYER / Kniha Brožovaná
common.buy 395 Kč
theory of evolution of living things and the application of the principles of evolution to religion George Henslow / Kniha Brožovaná
common.buy 477 Kč
"Yes! From Awareness to Love": 13 Affirmations in Haiku jesse sharpe / Kniha Brožovaná
common.buy 341 Kč
The country house. By: John Galsworthy John Galsworthy / Kniha Brožovaná
common.buy 245 Kč
Two treatises on civil government. By: John Locke, By: Filmer Robert, (Sir) (1588-1653).introduction By: Henry Morley (15 September 1822 - 1894): John John Locke / Kniha Brožovaná
common.buy 274 Kč
Defence of Usury; Shewing the Impolicy of the Present Legal Restraints on the Terms of Pecuniary Bargains. To Which is Added, the Discouragements Oppo Jeremy Bentham / Kniha Pevná
common.buy 750 Kč
First Spanish Dictionary Collins Dictionaries / Kniha Brožovaná
common.buy 173 Kč
Actual Causality Joseph Y. Halpern / Kniha Brožovaná
common.buy 1 206 Kč
Jackalope Wives and Other Stories T. Kingfisher / Kniha Brožovaná
common.buy 299 Kč
Připravujeme
New Oxford Student Texts: More...Love Through the Ages Geddes / Kniha Brožovaná
common.buy 394 Kč
Thank You For Coming To My Ted Talk Lorin Oberweger / Kniha Pevná
common.buy 350 Kč
Basketball Scoring Book: 50 Game Scorebook for Basketball (8.5 x 11) - Scoring by Half Chad Alisa / Kniha Brožovaná
common.buy 199 Kč
PostgreSQL for DBA: PostgreSQL 12 Federico Campoli / Kniha Brožovaná
common.buy 857 Kč
Poems: Lyric Poems. Sylvia Or, the Last Shepherd. Miscellaneous. Airs from Alpland Thomas Buchanan Read / Kniha Brožovaná
common.buy 638 Kč
Second Chance on Cypress Lane Reese Ryan / Kniha Brožovaná
common.buy 200 Kč
Greenheart of the Forest Elizabeth Klein / Kniha Brožovaná
common.buy 445 Kč
Quantum Mechanics Arjun Berera / Kniha Pevná
common.buy 1 741 Kč
Iran Iraq Naval War Volume 2 E. R. Hooton / Kniha Brožovaná
common.buy 486 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?