phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Logic, Rewriting, and Concurrency

Język AngielskiAngielski
Książka Miękka
Książka Logic, Rewriting, and Concurrency Narciso Martí-Oliet
Kod Libristo: 09480200
Wydawnictwo Springer International Publishing AG, sierpień 2015
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular... Cały opis
? points 154 b
261.63 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Nuevo Espanol en marcha basico A1+A2 Podrecznik + CD Francisca Castro / Miękka
common.buy 177.87 zł
François-Joseph Ier Juliana Weitlaner / Miękka
common.buy 41.47 zł
Magische Orte - Zur Lyrik von Johannes Bobrowski Tobias Sandkuhl / Miękka
common.buy 269.61 zł
Loudoun County Fire and Rescue Apparatus History Mike Sanders / Twarda
common.buy 113.16 zł
Michaelian Correspondence Lucille L Turfrey / Miękka
common.buy 81.55 zł
Madrid. Crónica de un cambio / Miękka
common.buy 112.96 zł
Greenie Patrick Moore / Twarda
common.buy 127.22 zł
Lost Station E Joseph Benner / Twarda
common.buy 148.36 zł
Zapowiedź
Memoirs of a Cavalier Daniel Defoe / Miękka
common.buy 31.80 zł
Luna de la voz ausente : antología de escritoras canarias de la primera mitad del s. XX Blanca Hernández Quintana / Miękka
common.buy 76.27 zł
A Night of Many Sonnets Jim Wilson / Miękka
common.buy 45.16 zł

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélčne Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of José's many scientific achievements followed by a bibliography of papers written by José.

Informacje o książce

Pełna nazwa Logic, Rewriting, and Concurrency
Autor Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 634
EAN 9783319231648
ISBN 3319231642
Kod Libristo 09480200
Wydawnictwo Springer International Publishing AG
Waga 979
Wymiary 155 x 235 x 34

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Matematyka i nauki ścisłe > Matematyka > Matematyka dyskretna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo