Pinto jorge sousa (40 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: Undergraduate Topics in Computer Science, Libro 20 di 99. 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,57
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: 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: Undergraduate Topics in Computer Science, Libro 20 di 99. 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 39,20
EUR 14,09 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,20
EUR 18,58 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: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 61,23
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2011
Serie: Undergraduate Topics in Computer Science, Libro 20 di 99. 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 59,72
EUR 3,49 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,43
EUR 14,70 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 71,13
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,52
EUR 14,09 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,84
EUR 18,21 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
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: Undergraduate Topics in Computer Science, Libro 20 di 99. 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 93,32
EUR 11,76 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 104,34
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 62,38 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008.The volume presen…ts three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume.Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development.
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.
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 387,48
EUR 2,31 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: Usato - Come nuovo
EUR 383,36
EUR 17,64 spedizioneSpedito da Regno Unito a 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: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 418,52
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 10 disponibili
Condizione: New.
- 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: Nuovo
EUR 422,62
EUR 17,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Condizione: New.
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 437,56
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 650.
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 463,01
EUR 9,95 spedizioneSpedito da Germania a 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
Singapore, 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: Undergraduate Topics in Computer Science, Libro 20 di 99. 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,85
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: Undergraduate Topics in Computer Science, Libro 20 di 99. 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,45
EUR 4,89 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.
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: Undergraduate Topics in Computer Science, Libro 20 di 99. Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
- Print on Demand
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 47,61
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
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
Hard 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.
Comedia Aulegrafia 1619 [LeatherBound]
Vasconcellos, Jorge Ferreira deNoronha, Antonio de,Magalhaes, Antonio de Sousa Pinto de (bookplate)
- Rilegato
- Print on Demand
Da: True World of Books, Delhi, IndiaTrue World of Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 28,80
Spedizione gratuitaSpedito da India a U.S.A.Quantità: 18 disponibili
LeatherBound. Condizione: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. LeatherBound edition. Condition: New. Reprinted from 1619 edition. Leather Binding on Spine and Corners with Golden leaf printing on spine. NO changes have been made to the original text. This is NOT a retyped or an ocr'd repr…int. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. Pages: 394 As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Pages: 394 Language: por.
Lingua: Inglese
Editore: Springer, 2011
Serie: Undergraduate Topics in Computer Science, Libro 20 di 99. Libro 20 di 99 - Undergraduate Topics in Computer Science
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 58,35
EUR 7,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 276 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
