9783540544159 - theoretical aspects of computer software: international conference tacs '91, sendai, japan, september 24-27, 1991. proceedings: 526 di ito, takayasu (8 risultati)

- Brossura
Da: NEPO UG, Rüsselsheim am Main, GermaniaNEPO UG
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 79,58
EUR 24,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Gut. 772 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1086.

- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 115,23
EUR 13,83 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 95,70
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Theoretical Aspects of Computer Software | International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings | Takayasu Ito (u. a.) | Taschenbuch | x | Englisch | 1991 | Springer | EAN 9783540544159 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 6912…1 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 65,86 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

- Brossura
Da: Mispah books, Redhill, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 177,22
EUR 28,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. Like New. book.

Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1991 1991
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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.TAC…S'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. 788 pp. Englisch.

- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,27
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 th.

- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume gives the proceedings of TACS '91, which focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems.Springer-Verlag KG, Sachsen…platz 4-6, 1201 Wien 788 pp. Englisch.