Importe total (1 artículo artículos):
Destino del pedido:
formal methods computer science de wang jiacun (30 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (30)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (12)
- No impresión bajo demanda (21)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45 (No hay ningún otro resultado que coincida con este filtro.)
- Más de EUR 45
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Formal Methods in Computer Science
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 105,14
Convertir monedaEUR 7,70 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 480.
-
Formal Methods in Computer Science
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 96,60
Convertir monedaEUR 17,58 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods In Computer Science
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 104,16
Convertir monedaEUR 10,53 gastos de envío desde Reino Unido a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Formal Methods in Computer Science
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 98,71
Convertir monedaEUR 17,85 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods in Computer Science
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 105,13
Convertir monedaEUR 17,85 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods In Computer Science
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 113,57
Convertir monedaEUR 10,12 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Formal Methods in Computer Science
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 109,72
Convertir monedaEUR 17,58 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods In Computer Science
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 118,75
Convertir monedaEUR 14,50 gastos de envío desde Alemania a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Publicado por Chapman and Hall/CRC 2019-07-08, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Idioma: Inglés
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 162,45
Convertir monedaEUR 17,84 gastos de envío desde Reino Unido a EspañaCantidad disponible: 5 disponibles
Añadir al carritoHardcover. Condición: New.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Librería: dsmbooks, Liverpool, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 149,81
Convertir monedaEUR 32,13 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. New. book.
-
Formal Methods in Computer Science
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 184,10
Convertir monedaEUR 17,58 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Formal Methods in Computer Science
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 208,34
Convertir monedaEUR 17,85 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods in Computer Science
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 208,97
Convertir monedaEUR 17,58 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 218,44
Convertir monedaEUR 10,53 gastos de envío desde Reino Unido a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Formal Methods in Computer Science
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 221,42
Convertir monedaEUR 17,85 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 231,65
Convertir monedaEUR 10,12 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 235,56
Convertir monedaEUR 7,04 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 241,55
Convertir monedaEUR 4,74 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Methods in Computer Science
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 246,45
Convertir monedaEUR 5,34 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardback. Condición: New. New copy - Usually dispatched within 4 working days. 185.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 245,33
Convertir monedaEUR 14,50 gastos de envío desde Alemania a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Formal Methods in Computer Science
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 310,02
Convertir monedaEUR 11,90 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 294 pages. 9.25x6.25x0.75 inches. In Stock.
-
Formal Methods in Computer Science
Publicado por Taylor & Francis Ltd (Sales), 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 86,91
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
-
Formal Methods in Computer Science
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 88,46
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research asso.
-
Formal Methods in Computer Science
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 105,16
Convertir monedaEUR 7,85 gastos de envío desde Reino Unido a EspañaCantidad disponible: 5 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Formal Methods in Computer Science
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 110,34
Convertir monedaEUR 11,90 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. reprint edition. 294 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand.
-
Formal Methods in Computer Science
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 179,85
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.Features\* Introduces a comprehensive, yet manageable set of formal techniques for computer science students\* Stresses real-world application value of each formal technique\* Offers a good set of exercises which help students better understand the presented techniques\* Also offers a prepared source code for downloading and non-commercial use.
-
Wang, J: Formal Methods in Computer Science
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 184,46
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research asso.
-
Formal Methods in Computer Science
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 243,42
Convertir monedaEUR 4,40 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoHRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Formal Methods in Computer Science
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 246,71
Convertir monedaEUR 1,03 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoHRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Formal Methods in Computer Science
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 238,05
Convertir monedaEUR 11,90 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Brand New. 294 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand.
