Kód: 01663644

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663644
Price: 1150.00 CZK
Availability: InStock
Author: Elvira Albert
ISBN: 9783642381966

Autor Elvira Albert

Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 245
Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
Více informací o knize

1150 Kč

Skladem u dodavatele
Odesíláme za 5-8 dnů

Přidat mezi přání

Mohlo by se vám také líbit

Mobile Suit Gundam Thunderbolt, Vol. 1
308 Kč
Koupit
Le capital au XXIe siecle
452 Kč
Koupit
History of World Egyptology
4640 Kč
Koupit
U.S.-Taiwan Relations
703 Kč
Koupit
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS
983 Kč
Koupit
Clinical CT
1727 Kč
Koupit
Steam Trains Today
314 Kč
Koupit
Predicative Arithmetic. (MN-32)
2924 Kč
Koupit
Philosophy of Religion
966 Kč
Koupit
Same Day Dentistry Revolution
274 Kč
Koupit
Fading Light
732 Kč
Koupit
The Archaeology of Political Spaces
2404 Kč
Koupit
Suppenglück
478 Kč
Koupit
Irena's Children: Young Readers Edition; A True Story of Courage
175 Kč
Koupit
Foundations in Sociolinguistics
9199 Kč
Koupit
The Honor And Integrity Of America
299 Kč
Koupit
SOUTHERN TIBET, DISCOVERIES IN FORMER TI
903 Kč
Koupit
Influenza Virus
3654 Kč
Koupit
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products
1250 Kč
Koupit
Great Snowball Fight on Icicle Street
590 Kč
Koupit
All Elevations Unknown
373 Kč
Koupit
Ghosts - Notes from a Field Study
454 Kč
Koupit
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing
389 Kč
Koupit
Les Chroniques de Fogas, tome 4 : Une fête inoubliable - Tome 4
578 Kč
Koupit
Transactions in Bionic Patents, Vol. 8
369 Kč
Koupit
God and the Cosmos: A Critical Analysis of Atheism, Materialism and Evolutionism
903 Kč
Koupit
Autonomy in Jewish Philosophy
1041 Kč
Koupit
High Point of Persistence
606 Kč
Koupit
Practical User Research
1191 Kč
Koupit
Les Bains de Mer de l'Algerie
315 Kč
Koupit
Einheit Auf Befehl?
1284 Kč
Koupit
Guide to Magistrates
1056 Kč
Koupit
ESPAÑA Y NAPOLES
2109 Kč
Koupit
Code Manuel de la Presse. Texte de la Nouvelle Loi, Article Par Article, La Legislation Anterieure
628 Kč
Koupit
Dieta a Base de Plantas
372 Kč
Koupit
Saint-Claude dessus-dessous
1562 Kč
Koupit
In the Museum of Man
3841 Kč
Koupit
Expertenwissen Nacken
1121 Kč
Předobjednat
The Mystic Scroll: A Book of Revelation
728 Kč
Koupit
Top 25 Property Management KPIs of 2011-2012
1043 Kč
Koupit
Hong Kong Protest Leaders - Sick facts that Western countries do not know
179 Kč
Koupit
Aspects of Physical Biology
1349 Kč
Koupit

Dárkový poukaz: Radost zaručena

Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
Poukaz se vztahuje na celou naši nabídku.
Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
Platnost poukazu je 12 měsíců od data vystavení.

Objednat dárkový poukaz Více informací

Více informací o knize Logic-Based Program Synthesis and Transformation

Parametry knihy
Anotace
Oblíbené z jiného soudku

Nákupem získáte 115 bodů

Anotace knihy

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.