- 5 Results
Lowest price: € 4.00, highest price: € 105.66, average price: € 44.69
1
Programming Symposium : Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 - B. Robinet
Order
at AbeBooks.de
€ 38.91
Shipment: € 0.001
Order
Provider details
Sponsored link
B. Robinet:

Programming Symposium : Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 - Paperback

1974, ISBN: 3540068597

[EAN: 9783540068594], Neubuch, [PU: Springer Berlin Heidelberg], INFORMATIK; PROCESSING; CONTROL; PATTERNS; PROGRAMMINGLANGUAGE; SIMULATION; VERIFICATION, Druck auf Anfrage Neuware - Prin… More...

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
close (x)
2
Programming Symposium - B. Robinet
Order
at AbeBooks.de
€ 37.44
Shipment: € 0.001
Order
Provider details
Sponsored link

B. Robinet:

Programming Symposium - Paperback

1974, ISBN: 3540068597

[EAN: 9783540068594], Neubuch, [PU: Springer Berlin Heidelberg Nov 1974], INFORMATIK; PROCESSING; CONTROL; PATTERNS; PROGRAMMINGLANGUAGE; SIMULATION; VERIFICATION, This item is printed on… More...

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]
close (x)
3
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19, Band 19) - Robinet, B.
Order
at amazon.de
€ 105.66
Shipment: € 3.001
Order
Provider details
Sponsored link
Robinet, B.:
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19, Band 19) - Paperback

2008

ISBN: 9783540068594

Springer, Taschenbuch, Auflage: 1974, 440 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 1.34 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… More...

Gut Shipping costs:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Antiquariat Bookfarm
close (x)
4
Programming Symposium. Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974. Lecture Notes in Computer Science, 19. - Robinet, B.,
Order
at ZVAB.com
€ 4.00
Shipment: € 3.001
Order
Provider details
Sponsored link
Robinet, B.,:
Programming Symposium. Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974. Lecture Notes in Computer Science, 19. - Paperback

1974, ISBN: 3540068597

[EAN: 9783540068594], [SC: 3.0], [PU: Springer Berlin], CONTROL,PROGRAMMING LANGUAGE,PATTERNS,SIMULATION,PROCESSING,PROGRAMMING,VERIFICATION,, 432 pages Ex-Library book in good condition.… More...

Shipping costs: EUR 3.00 Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)]
close (x)
5
Programming Symposium - B. Robinet
Order
at lehmanns.de
€ 37.44
Shipment: € 0.001
Order
Provider details
Sponsored link
B. Robinet:
Programming Symposium - First edition

1974, ISBN: 9783540068594

Paperback

Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1974

Shipping costs:Versand in 10-14 Tagen. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19, Band 19)
Author:
Title:
ISBN:

9783540068594

Details of the book - Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19, Band 19)


EAN (ISBN-13): 9783540068594
ISBN (ISBN-10): 3540068597
Hardcover
Paperback
Publishing year: 2007
Publisher: Springer
425 Pages
Weight: 0,655 kg
Language: eng/Englisch

Book in our database since 2007-11-09T19:10:00+00:00 (London)
Detail page last modified on 2023-10-31T18:46:59+00:00 (London)
ISBN/EAN: 9783540068594

ISBN - alternate spelling:
3-540-06859-7, 978-3-540-06859-4
Alternate spelling and related search-keywords:
Book author: robinet
Book title: april paris, sur lecture, english computer science, edition french, programmation, ufo symposium, programming, symposium notes

Information from Publisher

Author: B. Robinet
Title: Lecture Notes in Computer Science; Programming Symposium - Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974
Publisher: Springer; Springer Berlin
432 Pages
Publishing year: 1974-11-05
Berlin; Heidelberg; DE
Language: English
37,44 € (DE)
38,49 € (AT)
47,09 CHF (CH)
Available
VIII, 432 p.

BC; Hardcover, Softcover / Informatik, EDV/Allgemeines, Lexika; Informatik; Verstehen; Processing; control; patterns; programming; programming language; simulation; verification; Computer Science; EA

On a measure of program structure.- Higher order software techniques applied to a space shuttle prototype program.- A proposed system for structured programming.- S. V. P. Un system interactif pour la validation et la preparation de programmes.- Proving program correctness in LCF.- Finite state testing of structured programs.- Structured recursive programming.- Top-down approach to the synthesis of programs.- A more mechanical approach to program verification.- Tree structures handling by aps.- Towards a high-level job control language.- Formal Definition of a simple on-line teleprocessor in VDL.- The suitability of a very high level language (setl) for simulation structuring and control.- A control statement for natural top-down structured programming.- On the transfer of control between contexts.- Equivalences dans l'algèbre des schémas de programme.- Inductive assertion patterns for recursive procedures.- Completude d'un systeme formel pour prouver l'equivalence de certains schemas recursifs monadiques.- Non-existence of program optimizers in an abstract setting.- Listing of information structures defined by fixed-point operators.- Application de la structuration de systeme a la conception interne du systeme GEMAU.- Un systeme de communications: logiciel ou materiel?.- Structure du systeme SAR.- Une Transformation de programmes sequentiels en programmes paralleles.- A model for structured parallel processing in block-structured programming languages.- First version of a data flow procedure language.- Towards more flexible type systems.- Behavioral semantics of nonrecursive control structures.- Towards a theory of type structure.

More/other books that might be very similar to this book

Latest similar book:
9783540378198 Programming Symposium (B. Robinet)

< to archive...