Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661777
Price: 46.99 EUR
Availability: InStock
Author: Germán Vidal
ISBN: 9783642322105

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Germán Vidal

Sprache

Englisch

Buch Broschur

Libristo-Code: 01661777

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2012

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Vollständige Beschreibung

Libristo-Code: 01661777

115 b

46.99 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt

Broschur

54.99 €

Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков

Noten

7.49 €

1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA

Broschur

23.39 €

Pokémon - Maxi-colo Paldea The Pokémon Company

Broschur

5.99 €

Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак

binding.

29.99 €

Dzia?alno?? do?wiadczalna i badawcza w in?ynierii l?dowej i wodnej F. Retamal

Broschur

37.29 €

Artikel Marketing Blitz Andre Sternberg

Adobe ePub DRM

1.09 €

L'Invention pharmaceutique. La pharmacie française entre l'Etat et la société au XXe siècle Sophie Chauveau

Broschur

29.29 €

Les silences de Margaret Paul Couturiau

Broschur

20.89 €

O dôstojnosti človeka Božena Seilerová

Broschur

7.19 €

Le Grand livre de la nature Anonyme

Adobe ePub DRM

12.09 €

Llibre d'amic i amat Beato Ramón Llull

Broschur

15.89 €

Przyjaciel Is Anna Helena Kubiak

Adobe ePub DRM

1.09 €

Looney Tunes POP!&Buddy Animation Vinyl Figure Sylvester&Tweety 9 cm Spiel/Spielzeug

Spielzeug

21.39 €

Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale

Broschur

15.99 €

Šťastné příběhy Čtyřlístku Ljuba Štíplová

Hardcover

16.49 €

Healing Hotels of the World

Hardcover

49.90 €

Madchen in der Sprayerkultur? Lena Rheindorf

Broschur

17.95 €

Leben Neben Der Wohlstandsgesellschaft Walter Bien

Broschur

59.99 €

Shania- Philosophie Thomas Heim

Broschur

14.90 €

L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang

Broschur

76.39 €

213-295 Walter Gollwitzer

Hardcover

509.00 €

Od Čertovy Lhotky k Mariánským Horám collegium

Hardcover

8.09 €

Poemas hesiódicos Hesíodo

Broschur

10.89 €

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic-Based Program Synthesis and Transformation

Autor Germán Vidal

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 254

EAN 9783642322105

ISBN 3642322107

Libristo-Code 01661777

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 409

Abmessungen 155 x 235 x 15

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

Mathematik und Naturwissenschaften > Mathematik > Diskrete Mathematik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert