Leila ribeiro (58 risultati)
- Brossura
Da: Hamelyn, Madrid, M, SpagnaHamelyn
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Quasi ottimo
EUR 29,16
EUR 12,99 spedizioneSpedito da Spagna a U.S.A.Quantità: 1 disponibili
Condizione: Muy bueno. : Este libro constituye las actas del 6.º Taller Internacional sobre Enseñanza de Métodos Formales (FMTea 2024), celebrado en Milán, Italia, el 10 de septiembre de 2024. La obra presenta una selección de artículos de investigación revisados por expertos que se centran en el aprendizaje y la instrucción de…métodos formales, abarcando desde la teoría lógica hasta su aplicación práctica en la ingeniería de software y la educación en ciencias de la computación.Como parte de la prestigiosa serie Lecture Notes in Computer Science (LNCS 14939), este volumen incluye siete artículos completos y una charla invitada. Es un recurso esencial para académicos, investigadores y profesionales interesados en las metodologías de enseñanza para la verificación de software, el diseño de sistemas y la aplicación de la inteligencia artificial en entornos educativos técnicos. EAN: 9783031713781 Tipo: Libros Categoría: Tecnología|Educación|Ciencias Título: Formal Methods Teaching Autor: Emil Sekerinski| Leila Ribeiro Editorial: Springer Idioma: en Páginas: 152 Formato: tapa blanda.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 49,27
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 44,54
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,90
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,84
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- 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.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 44,53
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings (Lecture Notes in . Computer Science and General Issues)
Corradini, Andrea [Editor]; Ehrig, Hartmut [Editor]; Montanari, Ugo [Editor]; Ribeiro, Leila [Editor]; Rozenberg, Grzegorz [Editor];
- Brossura
Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 55,82
EUR 6,11 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006: Proceedings
Corradini, Andrea (EDT); Ehrig, Hartmut (EDT); Montanari, Ugo (EDT); Ribeiro, Leila (EDT); Rozenberg, Grzegorz (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 60,07
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 62,12
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. 2024th edition NO-PA16APR2015-KAP.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 50,61
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- 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.
- 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.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,77
EUR 11,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 150 pages. 9.25x6.10x9.21 inches. In Stock.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,61
EUR 18,08 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006: Proceedings
Corradini, Andrea (EDT); Ehrig, Hartmut (EDT); Montanari, Ugo (EDT); Ribeiro, Leila (EDT); Rozenberg, Grzegorz (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,94
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,06
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006: Proceedings
Corradini, Andrea (EDT); Ehrig, Hartmut (EDT); Montanari, Ugo (EDT); Ribeiro, Leila (EDT); Rozenberg, Grzegorz (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,59
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Editore: Bern / Stuttgart,, Hallwag Verlag, 1981
Da: Ursula Sturm, Meckenheim, GermaniaUrsula Sturm
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 19,00
EUR 18,50 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
4°, Ln., OU, 319 S., 1 Bll., mit Pappschuber, mit zahlreichen farbigen Abb., Zustand: sehr guter Zust., 2000 gr.
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006: Proceedings
Corradini, Andrea (EDT); Ehrig, Hartmut (EDT); Montanari, Ugo (EDT); Ribeiro, Leila (EDT); Rozenberg, Grzegorz (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 67,26
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 85,22
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 492.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 40,65
EUR 61,21 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.The 7 full papers included in these proceedings were carefully reviewed and selec…ted from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning.
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 39,65
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Formal Methods Teaching | 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings | Emil Sekerinski (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2024 | Springer | EAN 9783031713781 | Verantwortliche Person für die EU: Springer Ve…rlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Designing CDMA
Korowajczuk, Leonhard; Xavier, Bruno De Souza Abreu; Filho, Arlindo Villaschi; Ribeiro, Leila Zurba; Korowajczuk, Cristine; DaSilva, Luiz A.
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 114,36
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
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.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,08
EUR 35,02 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 264 pages. 9.25x6.10x0.60 inches. In Stock.
Designing CDMA
Korowajczuk, Leonhard; Xavier, Bruno De Souza Abreu; Filho, Arlindo Villaschi; Ribeiro, Leila Zurba; Korowajczuk, Cristine; DaSilva, Luiz A.
- Rilegato
Da: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 119,74
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 62,03 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th BrazilianSymposium on Formal Methods, SBMF 2016, which took place in Natal,Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed andselec…ted from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
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. Formal Methods: Foundations and Applications | 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings | Leila Ribeiro (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2016 | Springer | EAN 9783319498140 | Verantwortliche Person für die EU: Spr…inger Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Graph Transformations | Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings | Andrea Corradini (u. a.) | Taschenbuch | xii | Englisch | 2006 | Springer | EAN 9783540388708 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr.… 17, 69121 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 59,97
EUR 63,70 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do N…orte, Brazil) on September 17-23, 2006, co-located with the Brazilian Symposium on Formal Methods (SBMF 2006), under the auspices of the BrazilianComputer Society (SBC), the EuropeanAssociation of Software Science and Technology (EASST), the European Association for Theoretical Computer Science (EATCS) and the IFIP WG 1.3 on Foundations of Systems Speci cation. The conference obtained partial support from Formal Methods Europe and IFIP TC 1 on Foundations of Computer Science. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams and visual sentences) that are useful when describing complex structures and systems in a direct and intuitive way. These structures are often enriched with formalisms that model their evolution via suitable kinds of transformations. The eld of the conference was concerned with the theory, applications, and implementation issues of such formalisms. Particularemphasis wasputonmetamodelswhichcanaccommodateavarietyofgraphicalstructures within the same abstract theory.
