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

Software Engineering 2: Specification of Systems and Languages by Dines Bjørner

Software Engineering 2: Specification of Systems and Languages

by Dines Bjørner
Save 35% Save 35%
₹3,486.00
₹5,362.00
₹5,362.00
₹5,362.00
(-35%)
₹3,486.00
₹3,486.00

Imported Edition - Ships in 12-14 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Hardcover
  • ISBN13: 9783540211501
  • Binding: Hardcover
  • Subject: N/A
  • Publisher: Springer
  • Publisher Imprint: Springer
  • Publication Date:
  • Pages: 780
  • Original Price: EUR 49.99
  • Language: English
  • Edition: 2006
  • Item Weight: 1248 grams
  • BISAC Subject(s): Computer Engineering, Software Development & Engineering / General, and Languages / General

This second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics as modularity (UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. The book presents principles and techniques for developing the basis for sound, efficient interpreter and compiler development of functional, imperative, modular and parallel programming languages.

Trusted for over 48 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

Home
Genres
Account
Chat