0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (3)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

Practical Aspects of Declarative Languages - 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002.... Practical Aspects of Declarative Languages - 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Paperback, 2002 ed.)
Shriram Krishnamurthi, C.R. Ramakrishnan
R1,654 Discovery Miles 16 540 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL 2002, held in Portland, OR, USA in January 2002.The 18 revised full papers presented together with three invited contributions were carefully reviewed and selected from 37 submissions. Among the topics addressed are objects, ACL, higher order logic programming, compilers, embedded programs, types, XML parsing, texture generation, logic programming, generic programming, modeling languages, Prolog programming, garbage collection, etc.

Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings... Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Paperback, 2013 ed.)
Ezio Bartocci, C.R. Ramakrishnan
R1,549 Discovery Miles 15 490 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

Tools and Algorithms for the Construction and Analysis of Systems - 14th International Conference, TACAS 2008, Held as Part of... Tools and Algorithms for the Construction and Analysis of Systems - 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings (Paperback, 2008 ed.)
C.R. Ramakrishnan, Jakob Rehof
R1,593 Discovery Miles 15 930 Ships in 10 - 15 working days

ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe ?nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Scholars, Poets and Radicals…
Rita Ricketts Hardcover R978 Discovery Miles 9 780
Gold Experience B2 Students' Book with…
Lynda Edwards, Mary Stephens Undefined R1,410 Discovery Miles 14 100
Panopticon - Postscript: Containing a…
Jeremy Bentham Paperback R490 Discovery Miles 4 900
High-temperature Superconducting…
Zhi-Yuan Shen Hardcover R3,495 Discovery Miles 34 950
Old Hungarian Fairy Tales - (Illustrated…
Baroness Orczy Hardcover R857 Discovery Miles 8 570
A Study of India's Textile Exports and…
K S Kavi Kumar Hardcover R2,873 Discovery Miles 28 730
Blood's Inner Rhyme - An…
Antjie Krog Paperback R360 R299 Discovery Miles 2 990
Who Are Our Enemies and How Do We Love…
Hyung Jin Kim Sun Paperback R299 R274 Discovery Miles 2 740
Transnational Law and State…
Jennifer Lander Hardcover R4,487 Discovery Miles 44 870
Reading Planet - Pirate Gold - Green…
Ian Macdonald Paperback R210 Discovery Miles 2 100

 

Partners