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 Methodology and Software Technology

12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Algebraic Methodology and Software Technology José Meseguer
Libristo kód: 01570336
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červenec 2008
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Met... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Allegorie als hermeneutisches Mittel am Beispiel der Minnegrotte im 'Tristan' Gottfrieds von Strassburg Stefanie Busch / Kniha Brožovaná
common.buy 369 Kč
Las memorias del Mariscal Soult Zbigniew Guscin / Kniha Pevná
common.buy 490 Kč
La responsabilidad de la sociedad dominante en los grupos internacionales de sociedades BALLESTEROS BARROS / E-kniha Adobe ePub DRM
common.buy 982 Kč
Berlinische im Comic Franz Krober / Kniha Brožovaná
common.buy 369 Kč
FINTECH. Perspectivas, Regulación, Modalidades y Desafíos en Venezuela Serviliano ABACHE CARVAJAL / Kniha Brožovaná
common.buy 1 303 Kč
O prasátku Lojzíkovi Pavel Ondrašíkovi / Kniha Pevná
common.buy 173 Kč
Faust I, 3 Audio-CD Johann W. von Goethe / Audio Audio CD
common.buy 309 Kč
Boxer and Brandon (Japanese Book for Kids) S.A. PUBLISHING / Kniha Pevná
common.buy 599 Kč
Single in the rain (Un canto a la vida en single) LOLA / Kniha Brožovaná
common.buy 504 Kč
Frauen aus Deutschland Achim Seiffarth / Kniha Brožovaná
common.buy 237 Kč
Dva a půl muže ve člunu Williams Nigel / Kniha Pevná
common.buy 205 Kč
Das Heft mit der Ente, Ausgabe für Österreich Peter Wachendorf / Kniha List
common.buy 77 Kč
Capacidad de Resiliencia de los indígenas Aguajún y Wampis Edward Enrique Rojas de la Puente / Kniha Brožovaná
common.buy 732 Kč
Top
El poder del metabolismo Frank Suárez / Kniha Brožovaná
common.buy 641 Kč

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.§The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.

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 Methodology and Software Technology
Autor José Meseguer, Grigore Rosu
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2008
Počet stran 434
EAN 9783540799795
ISBN 3540799796
Libristo kód 01570336
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 688
Rozměry 155 x 235 x 25

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
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 > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Operační systémy
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

Tournament Solutions and Majority Voting J.-Francois Laslier / Kniha Brožovaná
common.buy 2 357 Kč
Standing Rules and Regulations of His Majesty's Regiment of Fraser Fencible Infantry, Issued by Colonel Simon Fraser, at Tuam, 1798 MULTIPLE CONTRIBUTOR / Kniha Pevná
common.buy 707 Kč
DISCOURSE IN COMMEMORATION OF THE LANDIN GEORGE HENRY MILES / Kniha Pevná
common.buy 619 Kč
Latin Phrases: Translate Latin Phrases to English Dr Leland D Benton / Kniha Brožovaná
common.buy 164 Kč
Reunion London Hale / Kniha Brožovaná
common.buy 191 Kč
Civil Disobedience and Other Essays Henry David Thoreau / Kniha Brožovaná
common.buy 316 Kč
Bella Bear My Friend Sophie's Art! Osanna Kazezian Rosa / Kniha Brožovaná
common.buy 362 Kč
Yoga for Kids and Their Grown-Ups: 100+ Fun Yoga and Mindfulness Activities to Practice Together Katherine Ghannam / Kniha Brožovaná
common.buy 272 Kč
Introduction To C Programming Sheetal Patil / Kniha Brožovaná
common.buy 732 Kč
Alan Ball: The Man in White Boots David Tossell / Kniha Brožovaná
common.buy 362 Kč
Establishing Our Life in Christ Rayola Kelley / Kniha Brožovaná
common.buy 444 Kč
Death on the River Clare Chase / Kniha Brožovaná
common.buy 271 Kč
Puligny-Montrachet Loftus Simon / Kniha Brožovaná
common.buy 314 Kč
Team Oxford: The Head from a Portrait of Edward de Vere, the 17th Earl of Oxford Sam Diego / Kniha Brožovaná
common.buy 176 Kč
Addiction Medicine: A Multidisciplinary Approach Joel J. Heidelbaugh / Kniha Brožovaná
common.buy 1 524 Kč
American Independence And The French Revolution (1760-1801) Kenneth Bell / Kniha Brožovaná
common.buy 272 Kč
Computer Vision Using Deep Learning: Neural Network Architectures with Python and Keras Vaibhav Verdhan / Kniha Brožovaná
common.buy 941 Kč
All the Summer Girls Meg Donohue / Audiokniha MP3
common.buy 287 Kč
Keep me as the apple of the eye / Tiskovina Noty
common.buy 117 Kč
Pain to Peace J. Young / Kniha Brožovaná
common.buy 225 Kč
Kingdom Encounters Ridley Hall / Kniha Brožovaná
common.buy 221 Kč
English in Mind Levels 3A and 3B Combo Teacher's Resource Book Brian Hart / Kniha Kroužková
common.buy 1 518 Kč
Algebraic Methodology and Software Technology Michael Johnson / Kniha Brožovaná
common.buy 2 592 Kč
Evaluating Campaign Quality L. Sandy MaiselDarrell M. WestBrett M. Clifton / Kniha Pevná
common.buy 2 208 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?