Algorithimic Languages and Calculi (IFIP Advances in Information and Communication Technology) - Hardcover
Synopsis
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.
"synopsis" may belong to another edition of this title.
Product Description
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.
Synopsis
The general theme of this working conference is notations, methods, and tool support for the calculation of programs from specifications. Its purpose is to present the results of ongoing research, descriptions of existing and prosposed systems and applications to the production of practical software. This work, a collection of papers from the conference, aims to address the following topics: the study of the calculation of programs from specifications, the design of notations for such calculation, the formulation of algorithm theories using such notations and the investigation of software support for program derivation. This book should be of interest to computer science students, software researchers and programmers requiring correct codes.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Algorithimic Languages and Calculi (IFIP Advances in...
Stock Image
Algorithimic Languages and Calculi (IFIP Advances in Information and Communication Technology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780412820502_new
Buy New
£ 187.59
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Algorithimic Languages and Calculi
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software. Series: IFIP Advances in Information and Communication Technology. Num Pages: 451 pages, biography. BIC Classification: UMB; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 162 x 28. Weight in Grams: 772. . 1997. Hardback. . . . . Seller Inventory # V9780412820502
Stock Image
Algorithimic Languages and Calculi
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 456. Seller Inventory # 26535177
Seller Image
Algorithimic Languages and Calculi
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed . Seller Inventory # 458435443
Buy New
£ 212.51
£ 42.36 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Algorithimic Languages and Calculi
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 456 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 8361302
Buy New
£ 255.95
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Algorithimic Languages and Calculi (IFIP Advances in Information and Communication Technology)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA77304128205016
Buy Used
£ 244
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Algorithimic Languages and Calculi
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 456. Seller Inventory # 18535171
Stock Image
Algorithimic Languages and Calculi
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software. Series: IFIP Advances in Information and Communication Technology. Num Pages: 451 pages, biography. BIC Classification: UMB; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 162 x 28. Weight in Grams: 772. . 1997. Hardback. . . . . Books ship from the US and Ireland. Seller Inventory # V9780412820502
Seller Image
Algorithimic Languages and Calculi
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware - The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software. Seller Inventory # 9780412820502