phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr
Stimați clienți, din cauza zilei de sărbătoare, asistența pentru clienți nu este disponibilă astăzi. Ne vom ocupa de solicitările dumneavoastră în următoarea zi lucrătoare. Vă mulțumim pentru înțelegere.

Logic Based Program Synthesis and Transformation

Limba englezăengleză
Carte Carte broșată
Carte Logic Based Program Synthesis and Transformation Sandro Etalle
Codul Libristo: 01560821
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Descrierea completă
? points 161 b
320 lei
În depozitul extern în cantități mici Expediem în 12-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Haikyu!!, Vol. 14 Haruichi Furudate / Carte broșată
common.buy 47 lei
Maze Runner James Dashner / Carte broșată
common.buy 56 lei
Google Cloud Platform in Action John J. Geewax / Carte broșată
common.buy 349 lei
Maltese Falcon Dashiell Hammett / Carte broșată
common.buy 48 lei
Secret Kingdom: Magic Mountain Rosie Banks / Carte broșată
common.buy 36 lei
Treasure Island and The Ebb-Tide Robert Louis Stevenson / Carte broșată
common.buy 44 lei
Enterococcus faecalis / Copertă tare
common.buy 1.395 lei
E-Myth Contractor Michael E. Gerber / Carte broșată
common.buy 81 lei
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence Brian J. Heard / Copertă tare
common.buy 784 lei
Model-Based Reasoning in Science and Technology Lorenzo Magnani / Copertă tare
common.buy 1.254 lei
Nuclear Weapons Counterproliferation Jack Garvey / Copertă tare
common.buy 878 lei
Ma, I've Reached for the Moon an I'm Hittin the Stars Martha Long / Carte broșată
common.buy 92 lei
Text Book of Boxing Jim Driscoll / Carte broșată
common.buy 98 lei
Graph Based Representations in Pattern Recognition Edwin Hancock / Carte broșată
common.buy 320 lei
English Auxiliaries Anthony R. Warner / Carte broșată
common.buy 256 lei
From Understanding to Action Marco Keiner / Copertă tare
common.buy 632 lei

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.

Informații despre carte

Titlu complet Logic Based Program Synthesis and Transformation
Autor Sandro Etalle
Limba engleză
Legare Carte - Carte broșată
Data publicării 2005
Număr pagini 284
EAN 9783540266556
ISBN 3540266550
Codul Libristo 01560821
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 450
Dimensiuni 155 x 235 x 16

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo