Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Rewriting Logic and Its Applications

9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Rewriting Logic and Its Applications Francisco Durán
Libristo kod: 01662337
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, rujan 2012
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Wor... Cijeli opis
? points 115 b
47.42 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Unterwegs im Elsass - Terminplaner (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Kalendar/Rokovnik Kalendar
common.buy 28.34 €
Fantasmas PABLO REMON / Knjiga Meki uvez
common.buy 14.72 €
Top
Wschód słońca w dniu dożynek. Igrzyska śmierci. Tom 5 Suzanne Collins / Knjiga Meki uvez
common.buy 9.98 €
Bébé Balthazar - La journée de Bébé Balthazar - Pédagogie Montessori Marie-Hélène Place / Knjiga Knjiga
common.buy 25.22 €
Le Palais d'Orsay Lewandowski / Knjiga Knjiga
common.buy 26.33 €
Lignes essentielles 2022 : Nos essenti'elles Mockly / Knjiga Meki uvez
common.buy 21.89 €
TERRES DES SIGNES 1 TERRES DES SIGNES 1 Knjiga binding.
common.buy 19.97 €
Edens zero Hiro Mashima / Knjiga Meki uvez
common.buy 7.36 €
Jedz jak Geniusz Max Lugavere / Knjiga Meki uvez
common.buy 12.40 €
Développement de la relation commerciale dans un environnement interculturel, BTS Commerce international (2021) - Pochette élève BIDAULT / Knjiga Meki uvez
common.buy 35.00 €
Аюрведа. Философия и травы Ян Раздобурдин / Knjiga Meki uvez
common.buy 9.98 €
Activité hépatoprotectrice de la nouvelle formulation polyherbale Ashish Kandalkar / Knjiga Meki uvez
common.buy 33.79 €
Bewusstseins-Welten Wolfgang Marx / Knjiga Tvrdi uvez
common.buy 145.30 €
Management des globalen Managements - Managing Global Management Gebhard Deissler / Knjiga Meki uvez
common.buy 47.11 €
grand voyage au pays des Hurons Gabriel Sagard / Knjiga Meki uvez
common.buy 16.14 €
Alter Der Babylonischen Astronomie Alfred Jeremias / Knjiga Meki uvez
common.buy 23.20 €
Armenfursorge bei Wilhelm Loehe und das Werk "Das Armenwesen nach all seinen Richtungen... von Charles Duchatel und Francois Naville Michael Martin Nachtrab / Knjiga Meki uvez
common.buy 16.14 €
Anerkennung und absolute Religion Thomas M Schmidt / Knjiga Tvrdi uvez
common.buy 97.67 €
Ludger Brummer Karl Bellenberg / Knjiga Meki uvez
common.buy 16.14 €
Wissenschaftssprache Deutsch Michael Szurawitzki / Knjiga Meki uvez
common.buy 56.90 €
El Inventor: Benjamin Franklin Melissa A. Settle / Knjiga Meki uvez
common.buy 8.06 €
Cite Promise (La) Doris May Lessing / Knjiga Meki uvez
common.buy 30.36 €
Vägvisare till underjorden /Führer in die Unterwelt. Vägvisare till Underjorden Gunnar Ekelöf / Knjiga Meki uvez
common.buy 33.69 €
Boxeo tailandés, muay thai Marco De Cesaris / Knjiga Meki uvez
common.buy 18.46 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Rewriting Logic and Its Applications
Autor Francisco Durán
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2012
Broj stranica 241
EAN 9783642340048
ISBN 3642340040
Libristo kod 01662337
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 391
Dimenzije 155 x 235 x 14

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Irish Fairy and Folk Tales / Knjiga Tvrdi uvez
common.buy 19.36 €
Horticulture Adnan Younis / Knjiga Meki uvez
common.buy 61.54 €
Calvin vs. Wesley Thorsen / Knjiga Meki uvez
common.buy 17.25 €
Essays: Historical And Biographical, Political, Social, Literary And Scientific Hugh Miller / Knjiga Meki uvez
common.buy 40.96 €
Can You Hear Me Now? Jake Moran / Knjiga Meki uvez
common.buy 14.02 €
Top
Frameworks for Internal Medicine Andre Mansoor / Knjiga Meki uvez
common.buy 61.64 €
Top
Teacher's Source Book for Mathematics in Classes 6 to 8 Jamie York / Knjiga Meki uvez
common.buy 21.18 €
Super Gospel Robert C Ferrell / Knjiga Tvrdi uvez
common.buy 40.96 €
Social and Political Philosophy: Readings from Plato to Gandhi John Somerville / Knjiga Meki uvez
common.buy 16.44 €
The Cross from a Distance: A Biblical Theology of the Dwelling Place of God Peter G. Bolt / Knjiga Meki uvez
common.buy 23.80 €
The Complete Grimm's Fairy Tales Grimm / Knjiga Meki uvez
common.buy 9.68 €
Too Far Gone / Knjiga Meki uvez
common.buy 20.88 €
World of Final Fantasy VII Jason C. Cash / Knjiga Meki uvez
common.buy 56.80 €
Recent Advances in Modeling and Simulation Tools for Communication Networks and Services Nejat Ince / Knjiga Tvrdi uvez
common.buy 205.23 €
International Financial Management BEKAERT GEERT / Knjiga Tvrdi uvez
common.buy 110.28 €
Seets i' Yorkshire and Lancashire John Hartley / Knjiga Meki uvez
common.buy 16.14 €
The Legends of King Arthur and His Knights Sir James Knowles / Knjiga Meki uvez
common.buy 9.37 €
101 Group Theory for Chemists: A practical guide to apply symmetry to chemical problems Dr Christoph Sontag / Knjiga Meki uvez
common.buy 14.72 €
Hole in the Middle Kendra Fortmeyer / Knjiga Meki uvez
common.buy 9.07 €
Lonely Planet Brazil Lonely Planet / Knjiga Meki uvez
common.buy 36.22 €
Elmo Andrea Posner-Sanchez / Knjiga Leporelo
common.buy 6.95 €
Closing The Racial Wealth Gap: 7 Untold Rules for Black Prosperity and Legacy Eugene Mitchell / Knjiga Tvrdi uvez
common.buy 25.22 €
The Zombie Playground; A creature compilation Astrid Yrigollen / Knjiga Meki uvez
common.buy 7.66 €
Symbols Of Christendom: An Elementary And Introductory Textbook (1867) John Radford Thomson / Knjiga Meki uvez
common.buy 23.00 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?