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...
Epistemology - The Classic Readings
D.E. Cooper Hardcover R4,001 Discovery Miles 40 010
Documentality - New Approaches to…
Jacqueline Arthur-Montagne, Scott Jared DiGiulio, … Hardcover R3,899 Discovery Miles 38 990
Perception and Basic Beliefs - Zombies…
Jack Lyons Hardcover R1,311 Discovery Miles 13 110
The Wife of Bath's Prologue and Tale…
Jacqueline Tasioulas Paperback R240 R218 Discovery Miles 2 180
Understanding the Purpose and Power of…
Myles Munroe Paperback R280 R258 Discovery Miles 2 580
The Garden Within - Where the War with…
Anita Phillips Paperback R274 R252 Discovery Miles 2 520
Wind Bands and Cultural Identity in…
David G. Hebert Hardcover R2,908 Discovery Miles 29 080
Remote Sensing of the European Seas
Vittorio Barale, Martin Gade Hardcover R4,450 Discovery Miles 44 500
The Metaphysics of Experience
Leslie Stevenson Hardcover R1,318 Discovery Miles 13 180
Human Resource Management In Government…
Ernst J. van der Westhuizen Paperback R590 R553 Discovery Miles 5 530

 

Partners