Articoli correlati a Refinement Techniques in Software Engineering: First...
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures: 3167 - Brossura
Sinossi
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004). The seven tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The courses cover a wide spectrum of topics.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Refinement: An overview.- Transformation Laws for Sequential Object-Oriented Programming.- Using CSP.- Developing and Reasoning About Probabilistic Programs in pGCL.- Real-Time and Fault-Tolerant Systems.- A Tutorial Introduction to CSP in Unifying Theories of Programming.- Using the Compliance Notation in Industry.- Techniques for Temporal Logic Model Checking.
Product Description
Rare Book
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer Berlin Heidelberg
- Data di pubblicazione2010
- ISBN 10 3540462538
- ISBN 13 9783540462538
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine408
- RedattoreCavalcanti Ana
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 35,39
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costi
Risultati della ricerca per Refinement Techniques in Software Engineering: First...
Foto dell'editore
Refinement Techniques in Software Engineering
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-267570
Quantità: 3 disponibili
Foto dell'editore
Refinement Techniques in Software Engineering
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-205087
Quantità: 1 disponibili
Foto dell'editore
Refinement Techniques In Software Engineering: First Pernambuco Summer School On Software Engineering, Psse 2004, Recife, Brazil, November 23-december . / Programming And Software Engineering)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-267571
Quantità: 1 disponibili
Foto dell'editore
Refinement Techniques In Software Engineering: First Pernambuco Summer School On Software Engineering, Psse 2004, Recife, Brazil, November 23-december . / Programming And Software Engineering)
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-90762
Quantità: 1 disponibili
Foto dell'editore
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... (Lecture Notes in Computer Science, 3167)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540462538_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004; Receife, Brazil, November 23-December 5, 2004: Revised Lectures
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5105199-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Refinement Techniques in Software Engineering
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Metho. Codice articolo 4891141
Quantità: Più di 20 disponibili
Foto dell'editore
Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004; Receife, Brazil, November 23-December 5, 2004: Revised Lectures
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5105199-n
Quantità: Più di 20 disponibili
Foto dell'editore
Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004; Receife, Brazil, November 23-December 5, 2004: Revised Lectures
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 5105199
Quantità: Più di 20 disponibili
Foto dell'editore
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December . Lectures (Lecture Notes in Computer Science)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Like New. Like NewLIKE NEW. book. Codice articolo ERICA83635404625383
Quantità: 1 disponibili