Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Logic Based Program Synthesis and Transformation

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Logic Based Program Synthesis and Transformation Sandro Etalle
Libristo-Code: 01560821
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Vollständige Beschreibung
? points 125 b
51.73 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Cuerpazo Para Siempre (Spanish Original): Mi Método Para Transformar Tu Figura En Un Cuerpo de Infarto Claudia Molina / Buch Broschur
common.buy 15.79 €
Ja, pesnička 2 collegium / Buch Hardcover
common.buy 5.56 €
Surpresa Mais Doce Augusta Hill / E-Book Adobe ePub DRM
common.buy 0.90 €
La Troisi?me République française et ce qu'elle vaut Joseph Arthur De Gobineau / Buch Broschur
common.buy 11.03 €
Huevo de Dragón (Dragon Egg Spanish Edition) Hala Wittwer / Buch Hardcover
common.buy 20.04 €
Aufsichtsrat der AG im Bankgesellschaftsrecht Stephan Fackler / Buch Hardcover
common.buy 92.44 €
Journal d'un Noob - Tome 8 Cube Kid / Buch Broschur
common.buy 17.10 €
Guide Et Formulaire de Therapeutique Generale Et Speciale HERZEN-V / Buch Broschur
common.buy 34.72 €
Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire SUCQUET-J- / Buch Broschur
common.buy 14.37 €
L'ombre L'eau qui s'écoule Lorrain-Vesque / Buch Broschur
common.buy 19.53 €
Disney: Raya und der letzte Drache / Buch Hardcover
common.buy 9.31 €
Świat równoległy wyd. 2 Tomasz Michniewicz / Buch Hardcover
common.buy 14.37 €
Degas Loyrette / Buch Broschur
common.buy 20.85 €
SINFONIE F MAJOR FALCK 67 ORCHESTRE WILHELM FRIEDEMANN B Drucksachen Noten
common.buy 25.91 €
Aventures del capita calçotes DAV PILKEY / Buch Hardcover
common.buy 9.71 €
Mujeres artistas LINDA NOCHIN / Buch Broschur
common.buy 51.53 €
Die Polen in Oberschlesien Paul Weber / Buch Broschur
common.buy 13.26 €
Thelma et les enfants à table Colombe Schneck / Buch Hardcover
common.buy 13.56 €
Histoire amoureuse des Gaules suivie des Romans historico-satiriques du XVIIe siecle, Tome I Roger de Rabutin / Buch Broschur
common.buy 17.91 €
Cesta z lebek Tyrani a králové John Marco / Buch Broschur
common.buy 10.72 €
Největší současní básníci Petr Kovář / Buch Blatt
common.buy 7.48 €
Ja genau! C. Böschel / Buch Broschur
common.buy 24.09 €
Innovatives Beschaffungsmanagement Christoph W. Gabath / Buch Hardcover
common.buy 53.66 €
Dekorative Handarbeiten Ritta Drommer / Buch Broschur
common.buy 10.93 €

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
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 Sandro Etalle
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2005
Anzahl der Seiten 284
EAN 9783540266556
ISBN 3540266550
Libristo-Code 01560821
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 450
Abmessungen 155 x 235 x 16

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung
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

Das könnte Sie auch interessieren

Model-Based Reasoning in Science and Technology Lorenzo Magnani / Buch Hardcover
common.buy 205.96 €
Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon / Buch Broschur
common.buy 69.76 €
Graph Based Representations in Pattern Recognition Edwin Hancock / Buch Broschur
common.buy 51.73 €
Lonely Planet Pocket Ibiza Planet Lonely / Buch Broschur
common.buy 19.63 €
Pauline Canon Stanley E. Porter / Buch Hardcover
common.buy 51.73 €
Nuclear Weapons Counterproliferation Jack Garvey / Buch Hardcover
common.buy 141.05 €
Global Technological Change Zhouying Jin / Buch Broschur
common.buy 37.36 €
International Directory of Company Histories Tina Gant / Buch Hardcover
common.buy 548.63 €
Time as a Metaphor of History: Early India Romila Thapar / Buch Broschur
common.buy 13.56 €
Secret Kingdom: Magic Mountain Rosie Banks / Buch Broschur
common.buy 7.69 €
Text Book of Boxing Jim Driscoll / Buch Broschur
common.buy 18.32 €
Maltese Falcon Dashiell Hammett / Buch Broschur
common.buy 10.42 €
E-Myth Contractor Michael E. Gerber / Buch Broschur
common.buy 15.18 €
Taak of the Toon Sid Waddell / Buch Broschur
common.buy 11.43 €
Salt & Light: Being The Hands & Feet of Christ (in a cruel and dangerous world) Matt Poole / Buch Broschur
common.buy 9.00 €
Human Brain During the Late First Trimester Shirley A. Bayer / Buch Broschur
common.buy 95.18 €
Enterococcus faecalis Henry L Mack / Buch Hardcover
common.buy 306.21 €
Season of Birth and Schizophrenia Fatima Kamran / Buch Broschur
common.buy 50.01 €
The Mad Pranks And Merry Jests Of Robin Goodfellow (1841) John Payne Collier / Buch Broschur
common.buy 18.32 €
How to Live an Abundant Life Ph D D-Cpc Pastor (Dr ) Ayo Laleye / Buch Hardcover
common.buy 28.75 €
Cambridge Natural History Volume 5 S F Harmer / Buch Hardcover
common.buy 43.13 €
Animal Group Behavior Abbie Dunne / Buch Broschur
common.buy 9.71 €
Country Quilts for Friends Margaret Peters / Buch Broschur
common.buy 21.46 €
Google Cloud Platform in Action John J. Geewax / Buch Broschur
common.buy 63.89 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?