- 4 Ergebnisse
Kleinster Preis: € 63,06, größter Preis: € 63,06, Mittelwert: € 63,06
1
Mathematics of Program Construction - Richard S. Bird; C.Carroll Morgan; James C.P. Woodcock
Bestellen
bei Springer.com
€ 63,06
Bestellen
Details und Versand
gesponserter Link
Richard S. Bird; C.Carroll Morgan; James C.P. Woodcock:

Mathematics of Program Construction - neues Buch

ISBN: 9783540476139

Not very long ago, the uninhibited use of mathematics in the development of software was regarded as something for academics alone. Today, there is moreand more interest from industry in … Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Mathematics of Program Construction - Richard S. Bird; C.Carroll Morgan; James C.P. Woodcock
Bestellen
bei Springer.com
€ 63,06
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Richard S. Bird; C.Carroll Morgan; James C.P. Woodcock:

Mathematics of Program Construction - neues Buch

ISBN: 9783540476139

Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Applications of Mathematics; Programming Techniques; Software Engineering; Algorithm Analy… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
3
Mathematics of Program Construction - Richard S. Bird; C.Carroll Morgan; James C.P. Woodcock
Bestellen
bei Springer.com
€ 63,06
Bestellen
Details und Versand
gesponserter Link
Richard S. Bird; C.Carroll Morgan; James C.P. Woodcock:
Mathematics of Program Construction - neues Buch

ISBN: 9783540476139

Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Applications of Mathematics; Programming Techniques; Software Engineering; Algorithm Analy… Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
4
Mathematics of Program Construction - Richard S. Bird; C.Carroll Morgan; James C.P. Woodcock
Bestellen
bei Springer.com
€ 63,06
Bestellen
Details und Versand
gesponserter Link
Richard S. Bird; C.Carroll Morgan; James C.P. Woodcock:
Mathematics of Program Construction - neues Buch

ISBN: 9783540476139

Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Applications of Mathematics; Programming Techniques; Software Engineering; Algorithm Analy… Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Mathematics of Program Construction
Autor:
Titel:
ISBN-Nummer:

9783540476139

Detailangaben zum Buch - Mathematics of Program Construction


EAN (ISBN-13): 9783540476139
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-02-03T04:27:08+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-09-16T14:42:45+02:00 (Vienna)
ISBN/EAN: 9783540476139

ISBN - alternative Schreibweisen:
978-3-540-47613-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: james, richard morgan, richard bird
Titel des Buches: mathematics program construction

Daten vom Verlag:

Autor/in: Richard S. Bird; C.Carroll Morgan; James C.P. Woodcock
Titel: Lecture Notes in Computer Science; Mathematics of Program Construction - Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings
Verlag: Springer; Springer Berlin
380 Seiten
Erscheinungsjahr: 2005-07-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 380 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Formal Methods; Formal Specification; Formale Methoden; Formale Spezifikation; Graph Algorithms; Graph-Algorithmen; Mathematical Programming; Program Construction; Programmkonstruktion; algorithm; algorithms; formal method; programming; real-time; algorithm analysis and problem complexity; C; Software Engineering; Theory of Computation; Applications of Mathematics; Programming Techniques; Algorithms; Computer Science; Theoretische Informatik; Angewandte Mathematik; Computerprogrammierung und Softwareentwicklung; Algorithmen und Datenstrukturen; BC

Extended calculus of constructions as a specification language.- On the economy of doing Mathematics.- Pretty-printing: An exercise in functional programming.- True concurrency: Theory and practice.- Programming for behaviour.- Calculating a path algorithm.- Solving optimisation problems with catamorphisms.- A time-interval calculus.- Conservative fixpoint functions on a graph.- An algebraic construction of predicate transformers.- Upwards and downwards accumulations on trees.- Distributing a class of sequential programs.- (Relational) programming laws in the boom hierarchy of types.- A logarithmic implementation of flexible arrays.- Designing arithmetic circuits by refinement in Ruby.- An operational semantics for the guarded command language.- Shorter paths to graph algorithms.- Logical specifications for functional programs.- Inorder traversal of a binary heap and its inversion in optimal time and space.- A calculus for predicative programming.- Derivation of a parallel matching algorithm.- Modular reasoning in an object-oriented refinement calculus.- An alternative derivation of a binary heap construction function.- A derivation of Huffman's algorithm.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783030336356 Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings Graham Hutton Editor (Herausgegeben:Hutton, Graham)

< zum Archiv...