Articoli correlati a Theory of Program Structures: Schemes, Semantics, Verificati...
Sinossi
Hard to Find book
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Program schemes — basic definitions and concepts.- Program schemes — basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Theory of Program Structures: Schemes, Semantics, Verificati...
Foto dell'editore
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Sorry, No international shipping on this item.0387074155 Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo DA1412449
Compra usato
EUR 8,83
Spedizione EUR 6,17
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theory of Program Structures : Schemes, Semantics, Verification
Editore:
Springer Berlin / Heidelberg, 1975
ISBN 10: 3540074155
ISBN 13: 9783540074151
Antico o usato
Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 5406753-6
Compra usato
EUR 17,92
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Sheila A. Greibach: Theory of Program Structures: Schemes, Semantics, Verification Lecture Notes in Computer Science, 36
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
Broschiert. Condizione: Gut. 388 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 615. Codice articolo 1791683
Compra usato
EUR 4,95
Spedizione EUR 15,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science 36)
Editore:
Springer Verlag, Secaucus, New Jersey, U.S.A., 1976
ISBN 10: 3540074155
ISBN 13: 9783540074151
Antico o usato
Paperback
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Condizione sovraccoperta: No Dust Jacket. Ex-Library. Previous owner's sticker and faint library withdrawal stamp on the front cover. Accession slip and withdrawal stamp on title page; library stamps on dedication page. Pen markings across spine foot; faintly bumped spine head and rubbed corners. Spine face and foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library. Codice articolo 100991
Compra usato
EUR 8,09
Spedizione EUR 14,64
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theory of Program Structures : Schemes, Semantics, Verification
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5907704-n
Compra nuovo
EUR 27,05
Spedizione EUR 2,33
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Theory of Program Structures: Schemes, Semantics, Verification (Paperback or Softback)
Editore:
Springer 1/1/1975, 1975
ISBN 10: 3540074155
ISBN 13: 9783540074151
Nuovo
Paperback or Softback
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Theory of Program Structures: Schemes, Semantics, Verification. Book. Codice articolo BBS-9783540074151
Compra nuovo
EUR 29,46
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783540074151
Compra nuovo
EUR 30,92
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Theory of Program Structures : Schemes, Semantics, Verification
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 5907704
Compra usato
EUR 29,12
Spedizione EUR 2,33
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9783540074151_new
Compra nuovo
EUR 33,47
Spedizione EUR 13,22
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Theory of Program Structures
Editore:
Springer Berlin Heidelberg Jan 1975, 1975
ISBN 10: 3540074155
ISBN 13: 9783540074151
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Program schemes ¿ basic definitions and concepts.- Program schemes ¿ basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes. 388 pp. Englisch. Codice articolo 9783540074151
Compra nuovo
EUR 24,60
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili