Jorge sousa pinto (42 risultati)
RIGOROUS SOFTWARE DEVELOPMENT
Almeida, José Bacelar Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
Lingua: Inglese
Editore: Springer, 2011
Serie: Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
- Edizione Internazionale
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleEdizione InternazionaleCondizione: Nuovo
EUR 29,50
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Condizione: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be prin…ted on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.
Rigorous Software Development
Almeida, José Bacelar Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
Lingua: Inglese
Editore: Springer, 2011
Serie: Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,19
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Almeida, José Bacelar Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
Lingua: Inglese
Editore: Springer, 2011
Serie: Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 38,92
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Asia Bookroom ANZAAB/ILAB, Canberra, ACT, AustraliaAsia Bookroom ANZAAB/ILAB
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 35,25
EUR 18,39 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Black and white photographic plates, 375pp, bibliography, index. Paperback. New. "Following the fall of the Melaka Sultanate to the Portuguese in 1511, the sultanates of Johor and Aceh emerged as major trading centers alongside Portuguese Melaka. Each power represented wider global interests. Aceh had links with Gujerat, the Ott…oman Empire and the Levant. Johor was a center for Javanese merchants and others involved with the Eastern spice trade. Melaka was part of the Estado da India, Portugal's trading empire that extended from Japan to Mozambique. Throughout the sixteenth century, a peculiar balance among the three powers became an important character of the political and economical life in the Straits of Melaka. The arrival of the Dutch in the early seventeenth century upset the balance and led to the decline of Portuguese Melaka. Making extensive use of contemporary Portuguese sources, Paulo Pinto uses geopolitical approach to analyze the financial, political, economic and military institutions that underlay this triangular arrangement, a system that persisted because no one power could achieve an undisputed hegemony. He also considers the position of post-conquest Melaka in the Malay World, where it remained a symbolic center of Malay civilization and a model of Malay political authority despite changes associated with Portuguese rule. In the process provides information on the social, political and genealogical circumstances of the Johor and Aceh sultanates." (Publisher's description).
A Expo em 98 palavras. Textos & Documentos.
Helena Pinto Marina, António Lapa Barreiros, Jorge João de Sousa Cardoso
Lingua: Portoghese
- Brossura
Da: Hamelyn, Madrid, M, SpagnaHamelyn
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Quasi ottimo
EUR 11,47
EUR 12,99 spedizioneSpedito da Spagna a U.S.A.Quantità: 1 disponibili
Condizione: Muy bueno. : A Expo em 98 Palavras. Textos & Documentos es una antología de 98 poemas sobre la Expo '98, cada uno escrito en 98 palabras. Los poemas fueron seleccionados entre miles presentados por lectores del Diário de Notícias. Esta edición de 1998 fue publicada por Editorial Notícias en Lisboa. EAN: 9789724609218… Tipo: Libros Categoría: Literatura y Ficción Título: A Expo em 98 palavras. Textos & Documentos. Autor: Helena Pinto Marina| António Lapa Barreiros| Jorge João de Sousa Cardoso Editorial: Editorial Notícias Idioma: pt Páginas: 111 Formato: tapa blanda.
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,58
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 60,61
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2011
Serie: Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 58,63
EUR 3,45 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 276.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,14
EUR 14,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. illustrated edition. 375 pages. 9.00x6.00x1.00 inches. In Stock.
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Almeida, José Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 70,41
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,42
EUR 18,08 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,07
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Rigorous Software Development
José Bacelar Almeida|Maria João Frade|Jorge Sousa Pinto|Simão Melo de Sousa
Lingua: Inglese
Editore: Springer London, 2011
Serie: Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 45,10
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Self-contained, offering a concise introduction to formal methods together with an in-depth coverage of model-based and Hoare logic-based methodsFocuses on two approaches: the Coq proof assistant and the B suite, both of which have proved effectiv.
Rigorous Software Development: An Introduction to Program Verification
Almeida, José Bacelar/ Frade, Maria João/ Pinto, Jorge Sousa/ De Sousa, Simão Melo
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,81
EUR 11,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2nd edition. 350 pages. 9.26x6.11x9.21 inches. In Stock.
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Almeida, José Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 102,40
EUR 3,45 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,40
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Language Engineering and Rigorous Software Development | International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers | Ana Bove (u. a.) | Taschenbuch | ix | Englisch | 2009 | Springer | EAN 9783642031526 | Verantwortliche Person für die EU…: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 40,86
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | This volume contains the lecture notes from the courses o?ered at the Inter- tional Summer School on Language Engineering and Rigorous Software De- lopment, held in Piriap ¿ olis, Uruguay, from February 25 to March 1, 2008. The aim o…f the schoolwasthe dissemination of advancedscienti?c knowledge in the areas of programming languages and rigorous methods for software - velopment. The school was oriented to computer science graduate students and researchers,withaninterestinformaltechniquesforthedesignandconstruction of software systems as well as programming languages. The school was organized in the context of the LERnet (Language En- neering and Rigorous Software Development) project. LERnet is a project of the ALFA programme of the European Commission for co-operation between higher education institutions of the European Union and Latin America. The institutions that participate in the LERnet project are the following: ¿ Chalmers Tekniska H¿ ogskola, Sweden ¿ Institut National de la Recherche en Informatique et Automatique (INRIA), France ¿ Universidad de Castilla-La Mancha, Spain ¿ Universidad Catol ¿ ica de Santiago del Estero, Argentina ¿ Universidad EAFIT, Colombia ¿ Universidade Federal de Minas Gerais, Brazil ¿ Universidade do Minho, Portugal ¿ Universidad Nacional de San Luis, Argentina ¿ Universidad Polit¿ ecnica de Valencia, Spain ¿ Universidad de la Republica ¿ , Uruguay ¿ Universiteit Utrecht, The Netherlands The project oversees the mobility of PhD students from Latin America to the European Union and vice versa for a period of up to 18 months, to pursue.
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 254,70
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 373,07
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: New.
High Value Manufacturing : Advanced Research in Virtual and Rapid Prototyping: Proceedings of the 6th International Conference on Advanced Research in Virtual and Rapid Prototyping, Leiria, Portugal, 1-5 October, 2013
Bartolo, Paulo Jorge Da Silva (EDT); de Lemos, Ana Cristina Soares (EDT); Pereira, Antonio Mario Henriques (EDT); Mateus, Artur Jorge dos Santos (EDT); Ramos, Carina (EDT)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 517,29
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 461,80
EUR 66,80 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware.
High Value Manufacturing : Advanced Research in Virtual and Rapid Prototyping: Proceedings of the 6th International Conference on Advanced Research in Virtual and Rapid Prototyping, Leiria, Portugal, 1-5 October, 2013
Bartolo, Paulo Jorge Da Silva (EDT); de Lemos, Ana Cristina Soares (EDT); Pereira, Antonio Mario Henriques (EDT); Mateus, Artur Jorge dos Santos (EDT); Ramos, Carina (EDT)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 556,52
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: 10 disponibili
Condizione: New.
High Value Manufacturing : Advanced Research in Virtual and Rapid Prototyping: Proceedings of the 6th International Conference on Advanced Research in Virtual and Rapid Prototyping, Leiria, Portugal, 1-5 October, 2013
Bartolo, Paulo Jorge Da Silva (EDT); de Lemos, Ana Cristina Soares (EDT); Pereira, Antonio Mario Henriques (EDT); Mateus, Artur Jorge dos Santos (EDT); Ramos, Carina (EDT)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 625,04
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: 10 disponibili
Condizione: As New. Unread book in perfect condition.
High Value Manufacturing : Advanced Research in Virtual and Rapid Prototyping: Proceedings of the 6th International Conference on Advanced Research in Virtual and Rapid Prototyping, Leiria, Portugal, 1-5 October, 2013
Bartolo, Paulo Jorge Da Silva (EDT); de Lemos, Ana Cristina Soares (EDT); Pereira, Antonio Mario Henriques (EDT); Mateus, Artur Jorge dos Santos (EDT); Ramos, Carina (EDT)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 601,16
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Condizione: New.
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 757,87
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 650.
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 701,27
EUR 3,45 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 650.
- Brossura
Da: Antiquariaat A. Kok & Zn. B.V., Amsterdam, Paesi BassiAntiquariaat A. Kok & Zn. B.V.
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 30,25
EUR 28,27 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSingapore, NUS Press & [Kuala Lumpur], Malaysian Branch of the Royal Asiatic Society, [2012]. XXX,375 pp. 6 b./w. maps & 14 col. & b./w. ills. Softcover (pictorial wrappers). 8vo. (Monographs of the Malaysian Branch of the Royal Asiatic Society, 45).Updated English translation of: Portugueses e malaios. Malaca e os Sultanatos de… Johor e Ache m, 1575-1619 (Lisboa, 1997).
Rigorous Software Development
Almeida, José Bacelar Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
Lingua: Inglese
Editore: Springer London, 2011
Serie: Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
- Print on Demand
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 41,73
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Rigorous Software Development
Almeida, José Bacelar Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
Lingua: Inglese
Editore: Springer London, 2011
Serie: Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
- Print on Demand
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 39,16
EUR 4,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Altre immaginiA CAVALARIA NA GUERRA PENINSULAR.
SOUSA PINTO. (Alexandre), José Carlos ANTUNES CALÇADA e Paulo Jorge LOPES DA SILVA.
- Rilegato
Da: Livraria Castro e Silva, Lisboa, PortogalloLivraria Castro e Silva
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 50,00
EUR 70,00 spedizioneSpedito da Portogallo a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHard Cover. Condizione: Good. ?Nas Comemorações do Bicentenário? Tribuna da História. Lisboa. 2009. De 30x21 cm. Com 152 págs. Encadernação editorial com sobrecapa ilustrada a cores. Ilustrado com numerosas reproduções de gravuras e quadros da época assim como com esquemas de batalhas. A obra inclui uma lista dos oficiais comand…antes das brigadas e regimentos (entre outros Bernardo de Sá Nogueira, futuro Marquês de Sá da Bandeira, Conde de Amarante, Luís Paulino de Oliveira Pinto da França, Visconde de Barbacena e Álvaro Xavier Coutinho e Póvoas) um mapa de todos os oficiais de Cavalaria, uma cronologia da Guerra Peninsular, esquemas das principais operações na península e transcreve diplomas legais relativos à obtenção de cavalos. Language: Português / Portuguese Location/localizacao: I-42-B-13.
