Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Tapsoft '93: Theory and Practice of Software Development: 4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings

by Marie-Claude Gaudel , Jean-Pierre Jouannaud
Save 17% Save 17%
Current price ₹11,480.00
Original price ₹13,776.00
Original price ₹13,776.00
Original price ₹13,776.00
(-17%)
₹11,480.00
Current price ₹11,480.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783540566106
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Springer
  • Publisher Imprint: Springer
  • Publication Date:
  • Pages: 768
  • Original Price: USD 109.99
  • Language: English
  • Edition: 1993
  • Item Weight: 1071 grams
  • BISAC Subject(s): Software Development & Engineering / General

This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT '93 consists ofthree parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions: specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, compositionality modules and development, formal development, foundations and analysis of formal specifications, verification of concurrent systems, model checking, parallel calculus, and a common session with CAAP on type inference.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us