- 5 Ergebnisse
Kleinster Preis: € 65,08, größter Preis: € 122,33, Mittelwert: € 97,21
1
Theoretical Aspects of Computer Software International Conference TACS ¿91, Sendai, Japan, September 24¿27, 1991. Proceedings - Meyer, Albert R. (Herausgeber); Ito, Takayasu (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 111,22
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Meyer, Albert R. (Herausgeber); Ito, Takayasu (Herausgeber):

Theoretical Aspects of Computer Software International Conference TACS ¿91, Sendai, Japan, September 24¿27, 1991. Proceedings - Taschenbuch

1991, ISBN: 3540544151

Softcover reprint of the original 1st ed. 1991 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, Computerprogrammierung und Softwareent… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
2
Theoretical Aspects of Computer Software International Conference TACS ¿91, Sendai, Japan, September 24¿27, 1991. Proceedings - Meyer, Albert R. (Herausgeber); Ito, Takayasu (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 122,33
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Meyer, Albert R. (Herausgeber); Ito, Takayasu (Herausgeber):

Theoretical Aspects of Computer Software International Conference TACS ¿91, Sendai, Japan, September 24¿27, 1991. Proceedings - Taschenbuch

1991, ISBN: 3540544151

Softcover reprint of the original 1st ed. 1991 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, Computerprogrammierung und Softwareent… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Theoretical Aspects of Computer Software International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings - Meyer, Albert R. (Herausgeber); Ito, Takayasu (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 122,33
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Meyer, Albert R. (Herausgeber); Ito, Takayasu (Herausgeber):
Theoretical Aspects of Computer Software International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings - Taschenbuch

1991

ISBN: 3540544151

Softcover reprint of the original 1st ed. 1991 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, Computerprogrammierung und Softwareent… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Theoretical Aspects of Computer Software: I - Ito and Meyer
Bestellen
bei buchfreund.de
€ 65,08
Versand: € 2,901
Bestellen
Details beim Anbieter
gesponserter Link
Ito and Meyer:
Theoretical Aspects of Computer Software: I - Taschenbuch

1991, ISBN: 9783540544159

772 Seiten Taschenbuch ex Library Book / aus einer wissenschaftlichen Bibliothek Versand D: 2,90 EUR , [PU:Springer Berlin Heidelberg,]

Versandkosten:Versandkosten innerhalb der BRD. (EUR 2.90) Mosakowski GbR, 65428 Rüsselsheim am Main
zuklappen (X)
5
Theoretical Aspects of Computer Software: I - Ito and Meyer
Bestellen
bei Achtung-Buecher.de
€ 65,08
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Ito and Meyer:
Theoretical Aspects of Computer Software: I - Taschenbuch

1991, ISBN: 3540544151

Taschenbuch 772 Seiten Taschenbuch ex Library Book / aus einer wissenschaftlichen Bibliothek 3, [PU:Springer Berlin Heidelberg,]

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
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
Theoretical Aspects of Computer Software
Autor:
Titel:
ISBN-Nummer:

3540544151


TACS'91 is the first International Conference on TheoreticalAspects of Computer Science held at Tohoku University,Japan, in September 1991. This volume contains 37 papers andan abstract for the talks presented at the conference.TACS'91 focused on theoretical foundations of programming,and theoretical aspects of the design, analysis andimplementation of programming languages and systems. Thefollowing range of topics is covered: logic, proof,specification and semantics of programs and languages;theories and models of concurrent, parallel and distributedcomputation; constructive logic, category theory, and typetheory in computer science; theory-based systems forspecifying, synthesizing, transforming, testing, andverifying software.

Detailangaben zum Buch - Theoretical Aspects of Computer Software


EAN (ISBN-13): 9783540544159
ISBN (ISBN-10): 3540544151
Taschenbuch
Erscheinungsjahr: 1991
Herausgeber: Springer Berlin
788 Seiten
Gewicht: 1,169 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-16T09:45:59+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-18T19:44:00+01:00 (Vienna)
ISBN/EAN: 3540544151

ISBN - alternative Schreibweisen:
3-540-54415-1, 978-3-540-54415-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ito, meyer
Titel des Buches: japan computer, 1991 band, theoretical computer science, proceedings the, september, conference, leaves gold, ito, lecture notes, theoretical aspects software, aspects the novel, international proceedings

Daten vom Verlag:

Autor/in: Takayasu Ito; Albert R. Meyer
Titel: Lecture Notes in Computer Science; Theoretical Aspects of Computer Software - International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings
Verlag: Springer; Springer Berlin
776 Seiten
Erscheinungsjahr: 1991-08-28
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
X, 776 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Attribut; Delegation; Konstruktive Logik; Programmiersysteme; Programming Systems; Software-Engineering; Typentheorie; complexity; design; logic; polymorphism; programming; testing; theory of computation; wissenschaftliches Rechen; Software Engineering; Compilers and Interpreters; Programming Techniques; Computer Science Logic and Foundations of Programming; Theory of Computation; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; EA

A semantics for type checking.- Type inference in polymorphic type discipline.- Monotone recursive definition of predicates and its realizability interpretation.- Adding proof objects and inductive definition mechanisms to frege structures.- From term models to domains.- An abstract interpretation for ML equality kinds.- Full abstraction and the Context Lemma (preliminary report).- An efficiency preorder for processes.- On nets, algebras and modularity.- Towards a complete hierarchy of compositional dataflow models.- Type theory as a foundation for computer science.- What is in a step: On the semantics of statecharts.- Proving termination of general Prolog programs.- On abstraction and the expressive power of programming languages.- Role of logic programming in the FGCS project.- Authentication and delegation with smart-cards.- Data flow analysis as model checking.- On the adequacy of dependence-based representations for programs with heaps.- From programming-by-example to proving-by-example.- From LP to LP: Programming with constraints.- Polynomial recursion analysis in pascal like programs.- Complexity of proving program correctness.- Some normalization properties of martin-löf's type theory, and applications.- Parametricity of extensionally collapsed term models of polymorphism and their categorical properties.- Programs with continuations and linear logic.- ?-Calculus semantics of object-oriented programming languages.- Wrapper semantics of an object-oriented programming language with state.- Sharing actions and attributes in modal action logic.- First order data types and first order logic.- Efficient program synthesis: Semantics, logic, complexity.- Principal type-schemes of BCI-lambda-terms.- Intersection and union types.- The coherence of languages withintersection types.- Singleton, union and intersection types for program extraction.- Subtyping + extensionality: Confluence of ??top reduction in F?.- An extension of system F with subtyping.- Will logicians be replaced by machines?.
< zum Archiv...