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

Rewriting Logic and Its Applications

Limba englezăengleză
Carte Carte broșată
Carte Rewriting Logic and Its Applications Francisco Durán
Codul Libristo: 01662337
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2012
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Wor... Descrierea completă
? points 147 b
296 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Anerkennung und absolute Religion Thomas M Schmidt / Copertă tare
common.buy 519 lei
First Year in Canterbury Settlement Samuel Butler / Copertă tare
common.buy 221 lei
grand voyage au pays des Hurons Gabriel Sagard / Carte broșată
common.buy 191 lei
A Case Study: Working Swot of SIM of Technical Programme Rucha Gujar / Carte broșată
common.buy 192 lei
Embedded Systems Design with FPGAs Peter Athanas / Carte broșată
common.buy 754 lei
Armenfursorge bei Wilhelm Loehe und das Werk "Das Armenwesen nach all seinen Richtungen... von Charles Duchatel und Francois Naville Michael Martin Nachtrab / Carte broșată
common.buy 200 lei
Management des globalen Managements - Managing Global Management Gebhard Deissler / Carte broșată
common.buy 717 lei
Brief Profile of America's Private Schools - Scholar's Choice Edition / Carte broșată
common.buy 87 lei

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.§The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.

Informații despre carte

Titlu complet Rewriting Logic and Its Applications
Autor Francisco Durán
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 241
EAN 9783642340048
ISBN 3642340040
Codul Libristo 01662337
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 391
Dimensiuni 155 x 235 x 14

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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