wyszukanych pozycji: 4
Coordination Models and Languages: 7th International Conference, Coordination 2005, Namur, Belgium, April 20-23, 2005, Proceedings
ISBN: 9783540256304 / Angielski / Miękka / 2005 / 299 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Modern information systems rely increasingly on combining concurrent, d- tributed, mobile, recon?gurable and heterogenous components. New models, architectures, languages, and veri?cation techniques are therefore necessary to cope with the complexity induced by the demands of today's software devel- ment. Coordination languages have emerged as a successful approach, providing abstractions that cleanly separate behavior from communication and therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. This volume contains the proceedings of the 7th...
Modern information systems rely increasingly on combining concurrent, d- tributed, mobile, recon?gurable and heterogenous components. New models, arch...
|
|
cena:
194,97 zł |
Coordination Models and Languages: 19th Ifip Wg 6.1 International Conference, Coordination 2017, Held as Part of the 12th International Federated Conf
ISBN: 9783319597454 / Angielski / Miękka / 2017 / 279 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
194,97 zł |
Conclog: A Methodological Approach to Concurrent Logic Programming
ISBN: 9783540549383 / Angielski / Miękka / 1991 / 787 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents a new concurrent logic programming language called Conclog and a methodology for programming in it. Conclog was designed bytaking the ideal features of logic programming as reference, rather than by concentrating directly on operational tricks to ensure efficiency. This leads to quite easy declarative programming. Concern for soundness and completeness ensures that multi-directional and multi-solution correct procedures can be coded quite straightforwardly. Assuming suitable hypotheses on their uses, they can be transformed into very efficient versions thanks to the...
This book presents a new concurrent logic programming language called Conclog and a methodology for programming in it. Conclog was designed bytaking t...
|
|
cena:
389,98 zł |
Human and Artificial Rationalities: Second International Conference, Har 2023, Paris, France, September 19-22, 2023, Proceedings
ISBN: 9783031552441 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
288,58 zł |